Automatic program generation using sequent calculus
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Deriving programs using generic algorithms
IBM Systems Journal
Derivation of programs for freshmen
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
An analysis of algorithms laboratory utilizing the maximum segment sum problem
ACM SIGCSE Bulletin
Derivation of recursive algorithms for CS2
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Formal Methods Application: An Empirical Tale of Software Development
IEEE Transactions on Software Engineering
Journal of Automated Reasoning
How the design of JML accommodates both runtime assertion checking and formal verification
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Preliminary design of JML: a behavioral interface specification language for java
ACM SIGSOFT Software Engineering Notes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Replayer: automatic protocol replay by binary analysis
Proceedings of the 13th ACM conference on Computer and communications security
Term transformers: A new approach to state
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using dynamic analysis to discover polynomial and array invariants
Proceedings of the 34th International Conference on Software Engineering
| Hi-index | 0.00 |