Published 2009
| Version v1
Publication
Building SMT-based Software Model Checkers: an Experience Report
- Creators
- ARMANDO, ALESSANDRO
- Other:
- Armando, Alessandro
Additional details
- URL
- http://hdl.handle.net/11567/238695
- URN
- urn:oai:iris.unige.it:11567/238695
- Origin repository
- UNIGE