Deductive Model Checking
by Sipma, H. and Uribe, T. and Manna, Z.
Formal Methods in System Design, vol. 15, no. 1, pp. 49-74, Jul 1999.
Note: Preliminary version appeared in 8th International Conference on Computer-Aided Verification (CAV), LNCS vol. 1102, pp. 208-219, Springer-Verlag, 1996.
 BibTeX |
 EndNote |
| Name | Title | ||
|---|---|---|---|
| Uribe, Tomas E | Computer Scientist |  |
