Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Lecture Notes in Computer Science;S. Beyer,2003
2. Lecture Notes in Computer Science;J. Burch,1994
3. Lecture Notes in Computer Science;M. Clavel,2003
4. Cohn, A.: A proof of correctness of the VIPER microprocessor: the first levels. In: Birtwistle, G., Subrahmanyam, P.A. (eds.) VLSI Specification, Verification and Synthesis, pp. 27–72. Kluwer Academic Publishers, Dordrecht (1987)
5. Cyrluk, D., Rushby, J., Srivas, M.: Systematic formal verification of interpreters. In: IEE international conference on formal engineering methods ICFEM 1997, pp. 140–149 (1997)