| Title | Preface (Special issue on the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference IFM 2005 (Eindhoven, The Netherlands, November 29, 2005)) |
|---|---|
| Published in | Electronic Notes in Theoretical Computer Science, Vol. 191, p.1-. ISSN 1571-0061. |
| Author | Romijn, JMT (Judi); Smith, G (Graeme); Pol, van de JC (Jaco) |
| Date | 2007 |
| Type | article |
| Rights | Copyright (c) Romijn, JMT (Judi); Copyright (c) Smith, G (Graeme); Copyright (c) Pol, JC (Jaco) van de |
| Publication | http://repository.tue.nl/641578 |
| OpenURL | Search this publication in (your) library |
| Persistent Identifier | URN:NBN:NL:UI:25-641578 |
| Metadata | XML |
| Repository | Eindhoven University of Technology |
Go to page top
Go back to contents
Go back to site navigation