![](/img/cover-not-exists.png)
[ACM Press the second workshop - Clearwater Beach, Florida, United States (1998.03.04-1998.03.05)] Proceedings of the second workshop on Formal methods in software practice - FMSP '98 - Checking properties of safety critical specifications using efficient decision procedures
Park, David Y. W., Skakkebæk, Jens U., Heimdahl, Mats P. E., Czerny, Barbara J., Dill, David L.Year:
1998
Language:
english
DOI:
10.1145/298595.298603
File:
PDF, 1.12 MB
english, 1998