Options
Title
Formal methods, FM '99. Proceedings. Vol.2
Title Supplement
World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 - 24, 1999
Person Involved
Publisher
Publishing Place
Berlin
Publication Date
1999
Series
Lecture Notes in Computer Science; 1709
ISBN
3-540-66588-9