Original language | English |
---|---|
Title of host publication | Workshop on Formal Methods in the Development of Software |
Publisher | . |
Publication status | Accepted/In press - 2012 |
Event | Workshop on Formal Methods in the Development of Software - Paris, France Duration: 28 Aug 2012 → … |
Conference
Conference | Workshop on Formal Methods in the Development of Software |
---|---|
Country/Territory | France |
City | Paris |
Period | 28/08/12 → … |
Fields of Expertise
- Information, Communication & Computing
Treatment code (Nähere Zuordnung)
- Basic - Fundamental (Grundlagenforschung)
- Experimental