FM'99-- formal methods
Subtitle: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
By: Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)
Contributors: Wing, Jeannette Marie; Woodcock, Jim; Davies, Jim, 1964-
Series: Lecture notes in computer science -- 1708-1709
Publisher: Springer
Published: 1999
Place of publication: Berlin; New York
Language: eng
Number of pages: 1875
Subjects: Formal methods (Computer science) -- Congresses; Application software -- Development -- Congresses
Genres: Congresses
Other titles: Formal methods
Notes: Includes bibliographical references and indexes