FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, ... II: 1709 (Lecture Notes in Computer Science)
by Jeannette M. Wing, Jim Woodcook, Jim Davies
ISBN 13: 9783540665885
Format: Paperback (960 pages) Publisher: Springer Published: 13 Sep 1999
Save for later