Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project

Вид публикации:

Conference Proceedings

Авторы:

Alan Wassyng; Mark Lawford

Источник:

FME 2003: International Symposium of Formal Methods Europe Proceedings, Pisa, Italy (2003)
Share/Save