

An edition of FM'99-- formal methods (1999)
World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
By World Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France)
Publish Date
1999
Publisher
Springer
Language
eng
Pages
1875
1-1 of 1 Editions
Language: eng
Pages: 1875
Published In: 1999
Publisher: Springer