|
|||||
|
|
Object Specification Logic |
|
| Authors: | SERNADAS, AMILCAR SERNADAS, CRISTINA COSTA, JOSE{acute} F{acute}ELIX |
| Affiliation: | 1IST, Department of Mathematics Lisbon, Portugal E-mail: acscss{at}raf.ist.utl.pt 2Faculdade de Ciências, Department of Informatics Lisbon, Portugal E-mail: fgc{at}di.fc.up.pt |
| Abstract: | |
| Keywords: | System specification and verification object-orientation logic of inheritance logic of interaction temporal logic many-sorted logic |
| 本文献已被 Oxford 等数据库收录！ | |