*Result*: Formal methods
*Title*:
Formal methods : proceedings / FM '99, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999 / Jeannette M. Wing ... (ed.)
*Author/editor-in-chief*:
*Corporate*:
*Publication*:
Berlin : Springer
*Format*:
*Language*:
*eng*
*series_multipart*:
Lecture notes in computer science ; ...
*volumes*:
*Subject Added Keywords*: