Efficient Simulation of Formal Processor Models
Formal Methods in System Design
An executable formal java virtual machine thread model
JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
A Mechanical Analysis of Program Verification Strategies
Journal of Automated Reasoning
Hi-index | 0.00 |