Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Autexier, S., Hutter, D.: Maintenance of formal software developments by stratified verification (2002), http://www.dfki.de/vse/papers/ah02.ps.gz
2. Lecture Notes in Computer Science;S. Autexier,2002
3. Farmer, W.M., Guttman, J.D., Thayer, F.J.: The imps user’s manual. Technical Report M-93B138, The mitre Corporation (1993)
4. Lecture Notes in Computer Science;W. Farmer,1992
5. Lecture Notes in Computer Science;J.A. Goguen,1984