|
Bogor: An Extensible Framework for Domain-Specific Model Checking |
- Bogor: An Extensible Framework for Domain-Specific Model Checking, December 2004.
John Hatcliff, Matthew B. Dwyer, Robby.
To appear in the Newsletter of European Association of Software Science and Technology (EASST).
Technical Report, SAnToS-TR2004-9.
pdf (Last updated: December 1, 2004).
|
