Formal Verification of Concurrent Programs Using the Larch Prover
IEEE Transactions on Software Engineering
Lightweight formal methods for computer algebra systems
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Formal Methods for Extensions to CAS
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |