Original language | English |
---|---|
Title of host publication | IFM 2005 Doctoral Symposium on Integrated Formal Methods (Eindhoven, The Netherlands, November 29, 2005) |
Editors | J.M.T. Romijn, G. Smith, J.C. Pol, van de |
Place of Publication | Eindhoven |
Publisher | Technische Universiteit Eindhoven |
Pages | 33-38 |
Publication status | Published - 2005 |
Publication series
Name | Computer Science Reports |
---|---|
Volume | 05-29 |
ISSN (Print) | 0926-4515 |