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