IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Partial-Order Reduction in Symbolic State-Space Exploration
Formal Methods in System Design - Special issue on CAV '97
Combining Software and Hardware Verification Techniques
Formal Methods in System Design
Partial Order Reduction in Directed Model Checking
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
From I/O Automata to Timed I/O Automata
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Formally Linking MDG and HOL Based on a Verified MDG System
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Providing a formal linkage between MDG and HOL
Formal Methods in System Design
Hi-index | 0.00 |