It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited anonymously
April 1, 2008
Edit
History of edits to

International Refinement Workshop and Formal Methods Pacific 1998 (1998 Canberra, Australia)

Revision When Who Comment Diff
1 April 1, 2008 initial import