Back to Search
Start Over
Checking properties of safety critical specifications using efficient decision procedures.
- Source :
- Formal Methods in Software Practice; Mar1998, p34-43, 10p
- Publication Year :
- 1998
Details
- Language :
- English
- Database :
- Complementary Index
- Journal :
- Formal Methods in Software Practice
- Publication Type :
- Conference
- Accession number :
- 73699235
- Full Text :
- https://doi.org/10.1145/298595.298603