IFM2005 doctoral symposium on integrated formal methods, Eindhoven, The Netherlands, November 29, 2005
Dokumenttyp: | Buch |
---|---|
Erscheinungsdatum: | 2005 |
Verlag/Hrsg.: |
Technische Universiteit Eindhoven
|
Sprache: | Englisch |
Permalink: | https://search.fid-benelux.de/Record/base-29195524 |
Datenquelle: | BASE; Originalkatalog |
Powered By: | BASE |
Link(s) : | https://research.tue.nl/en/publications/32455145-7c6f-49c7-a752-26c5ae8e8cbf |