FME 2001 formal methods for increasing software productivity

Saved in:

Bibliographic Details
Corporate Author:	International Symposium of Formal Methods Europe
Other Authors:	Oliveira, Jose Nuno, Zave, Pamela 1948-
Format:	Unknown
Published:	Berlin Springer 2001
Series:	Lecture notes in computer science v. 2021
Subjects:	Computer software > Congresses > Development
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet