FM'99 − Formal Methods‚ World Congress on Formal Methods in the Development of Computing Systems‚ Toulouse‚ France‚ September 20−24‚ 1999‚ Proceedings‚ Volume II
Details
| 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 |
Links
Related pages
|
People |