Mat
J-GLOBAL ID：200909053910716259
JST material number (FULL)：K19980031N
JST material number：K19980031
Formal Methods Pacific '97
JST material number：
JST material number
Identifier of Material (journals)
K19980031
ISBN (1)：
981-3083-31-X
Material type：Proceedings, Print, zz
Publication frequency： zz
Country of issued：Singapore(SGP)
Language (1)：
English(EN)
Publisher：
Springer
Publication place：Singapore
Conference name (3)：
- Formal Methods Pacific Conference, Wellington, 19970709 - 19970711
- Australasian Refinement Workshop, 6th
- New Zealand Formal Program Development Colloquium, 3rd
JST library information (0)：
Subject to change. Contact us for the latest status.
Return to Previous Page
