Early detection of JML specification errors using ESC/Java2
Proceedings of the 2006 conference on Specification and verification of component-based systems
A semantic analysis of logics that cope with partial terms
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
McCARTHY ALGEBRAS: A MODEL OF McCARTHY'S LOGICAL CALCULUS
Fundamenta Informaticae
WHY DENOTATIONAL?: Remarks on Applied Denotational Semantics
Fundamenta Informaticae
| Hi-index | 0.00 |