Formal specification techniques (extended abstract)
ICSE '94 Proceedings of the 16th international conference on Software engineering
A General Setting for Flexibly Combining and Augmenting Decision Procedures
Journal of Automated Reasoning
Formal Methods Adoption: What's Working, What's Not!
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
The CARE toolset for developing verified programs from formal specifications
SAST '96 Proceedings of the Proceedings of the Fourth International Symposium on Assessment of Software Tools (SAST '96)
Using CARE to Construct Verified Software
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Transparent optimisation of rewriting combinators
Journal of Functional Programming
Plug-in proof support for formal development environments
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
| Hi-index | 0.01 |