Originalsprache | englisch |
---|---|
Titel | Workshop on Formal Methods in the Development of Software |
Herausgeber (Verlag) | . |
Publikationsstatus | Angenommen/In Druck - 2012 |
Veranstaltung | Workshop on Formal Methods in the Development of Software - Paris, Frankreich Dauer: 28 Aug. 2012 → … |
Konferenz
Konferenz | Workshop on Formal Methods in the Development of Software |
---|---|
Land/Gebiet | Frankreich |
Ort | Paris |
Zeitraum | 28/08/12 → … |
Fields of Expertise
- Information, Communication & Computing
Treatment code (Nähere Zuordnung)
- Basic - Fundamental (Grundlagenforschung)
- Experimental