Back to Search
Start Over
The VerCors Tool for Verification of Concurrent Programs.
- Source :
- FM 2014: Formal Methods; 2014, p127-131, 5p
- Publication Year :
- 2014
Details
- Language :
- English
- ISBNs :
- 9783319064093
- Database :
- Complementary Index
- Journal :
- FM 2014: Formal Methods
- Publication Type :
- Book
- Accession number :
- 96083111
- Full Text :
- https://doi.org/10.1007/978-3-319-06410-9_9