[Home]
[CV]
[Publications]
Publications
An NQTHM Mechanization of “An Exercise in the Verification of Multi-Process Programs”
Nagayama, Misao and Talcott, Carolyn
-
1991
An NQTHM Mechanization of “An Exercise in the Verification of Multi-Process Programs”