Checking Concise Specifications for Multithreaded Software.
- 1 January 2004
- journal article
- Published by AITO - Association Internationale pour les Technologies Objets in The Journal of Object Technology
- Vol. 3 (6)
- https://doi.org/10.5381/jot.2004.3.6.a4