1.

図書
図書
1. FM '99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings (v. 1 ; v. 2)
Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)
出版情報: Berlin : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1708,1709
所蔵情報: 図書館
2.

図書
図書
2. FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings
Marie-Claude Gaudel, James Woodcock, (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1996
シリーズ名: Lecture notes in computer science ; 1051
所蔵情報: 図書館
3.

電子ブック
ＥＢ
3. FME'96: Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings
edited by Marie-Claude Gaudel, James Woodcock
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1051
オンライン: http://dx.doi.org/10.1007/3-540-60973-3
4.

図書
図書
4. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings (: gw ; : us)
R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 669
所蔵情報: 図書館