Support for teaching formal methods
ACM SIGCSE Bulletin
Support for teaching formal methods
Working group reports from ITiCSE on Innovation and technology in computer science education
A Tutorial on Stålmarck‘s Proof Procedure for PropositionalLogic
Formal Methods in System Design - Special issue on formal methods for computer-added design
Xs are for Trajectory Evaluation, Booleans are for Theorem Proving
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Formal Verification of a Complex Pipelined Processor
Formal Methods in System Design
| Hi-index | 0.01 |