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