The overture initiative integrating tools for VDM
Larsen, Peter Gorm, Battle, Nick, Ferreira, Miguel, Fitzgerald, John, Lausdahl, Kenneth, Verhoef, MarcelVolume:
35
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/1668862.1668864
Date:
January, 2010
File:
PDF, 565 KB
english, 2010