Toward special-purpose program verification
Conference proceedings on Formal methods in software development
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
An analysis of algorithms laboratory utilizing the maximum segment sum problem
ACM SIGCSE Bulletin
Specification of an algorithm design system
ITiCSE '98 Proceedings of the 6th annual conference on the teaching of computing and the 3rd annual conference on Integrating technology into computer science education: Changing the delivery of computer science education
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Declarative view of imperative programs
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Hi-index | 0.00 |