IFM2005 doctoral symposium on integrated formal methods, Eindhoven, The Netherlands, November 29, 2005

Verfasser: Romijn, JMT Judi
Smith, G Graeme
Pol, JC Jaco van de
Dokumenttyp: Buch
Erscheinungsdatum: 2005
Verlag/Hrsg.: Technische Universiteit Eindhoven
Sprache: Englisch
Permalink: https://search.fid-benelux.de/Record/base-29196286
Datenquelle: BASE; Originalkatalog
Powered By: BASE
Link(s) : http://repository.tue.nl/600857