| Shelfclass_id | 3.A |
| Sortkey | FMP |
| Authors | Lindsay Groves, Steve Reeves |
| Title | FMP 1997: Formal Methods Pacific '97: Proceedings of FMP '97, 9-11 July 1997, Wellington, New Zealand |
| Publisher | Springer-Verlag |
| Year | 1997 |
| Languages | eng |
| Isbn | 981308331X |
| Record date | 20070426 |
| Location | Berlin |