FM'99 − Formal Methods‚ World Congress on Formal Methods in the Development of Computing Systems‚ Toulouse‚ France‚ September 20−24‚ 1999‚ Proceedings‚ Volume II
Book Title
World Congress on Formal Methods
Editor
Jeannette M. Wing and Jim Woodcock and Jim Davies
ISBN
3−540−66588−9
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
1709
Year
1999