IEEE Spectrum
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Symbolic Exploration of transition Hierarchies
TACAS '98 Proceedings of the 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems
MOCHA: Modularity in Model Checking
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
| Hi-index | 0.00 |