Formal Methods Europe
2 published titles
IEEE 1394 (FireWire) Workshop : international workshop on application of formal methods to IEEE 1394 standard : Berlin, March 13, 2001
(Contributor)
1 edition
- ISBN: 1857691539
- University of Stirling, Dept. of Computing Science and Mathematics
- 2001
- Details
FM 2005 : formal methods : International Symposium of Formal Methods Europe Newcastle, UK, July 18-22, 2005 : proceedings
(Contributor)
1 edition
- ISBN: 9783540278825
- Springer
- 2005
- Details
