会议论文详细信息
| Day Dedicated to Prof. Alberto Martelli | |
| A valuable experience in Computational Logic | |
| Annalisa Bossi ; Nicoletta Cocco | |
| PID : 4372 | |
| 来源: CEUR | |
 PDF
|
|
【 摘 要 】
In this paper, we briefly describe our esperience in the field of verification and transformation of logic programming.Though now we are working in a completely different field, verification of security properties on one hand and biosystems analysis on the other, our previous experience continues to be a valuable guide.
【 预 览 】
| Files | Size | Format | View |
|---|---|---|---|
| A valuable experience in Computational Logic | 69KB |  download |
878987797
028-85220240
