Jeannette M. Wing
2 published titles
Proceedings of the First International Workshop on Larch, Dedham, USA, 13-15 July 1992
(Contributor)
1 edition
- ISBN: 0387198040
- Springer-Verlag
- 1993
- Details
FM'99 _ formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings
(Contributor)
1 edition
