Mat
J-GLOBAL ID：200909073619813612
JST material number (FULL)：K19990432J
JST material number：K19990432
Proceedings of the 1st International Conference on Integrated Formal Methods, 1999
JST material number：
JST material number
Identifier of Material (journals)
K19990432
ISBN (1)：
1-85233-107-0
Material type：Proceedings, Print, zz
Publication frequency： zz
Country of issued：United Kingdom(GBR)
Language (1)：
English(EN)
Publisher：
Springer
Publication place：London
Conference name (2)：
- International Conference on Integrated Formal Methods, 1st, York, 19990628 - 19990629
- IFM '99
JST library information (0)：
Subject to change. Contact us for the latest status.
Return to Previous Page
