Back to Search
Start Over
Automatic Equivalence Checking of UF+IA Programs.
- Source :
- Model Checking Software (9783642391750); 2013, p282-300, 19p
- Publication Year :
- 2013
Details
- Language :
- English
- ISBNs :
- 9783642391750
- Database :
- Complementary Index
- Journal :
- Model Checking Software (9783642391750)
- Publication Type :
- Book
- Accession number :
- 94116073
- Full Text :
- https://doi.org/10.1007/978-3-642-39176-7_18