Industrial Practice in Formal Methods: A Review.

Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock

Browse the full FM paper archive.