International Refinement Workshop and Formal Methods Pacific 1998 : proceedings of IRW/FMP'98 29 September - 2 October 1998 Canberra, Australia
Author(s)
Bibliographic Information
International Refinement Workshop and Formal Methods Pacific 1998 : proceedings of IRW/FMP'98 29 September - 2 October 1998 Canberra, Australia
（Springer series in discrete mathematics and theoretical computer science）
Springer-Verlag, 1998
- softcover
Available at / 4 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes references and index
