Judi Romijn
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
Integrated formal methods : 5th international conference, IFM 2005, Einhoven, The Netherlands, November 29 - December 2, 2005 : proceedings
(Contributor)
1 edition
- ISBN: 9783540304920
- Springer
- 2005
- Details
