Original language | English |
---|---|
Title of host publication | Proceedings of the 11th International Conference on Quality Software (QSIC) |
Publisher | Institute of Electrical and Electronics Engineers |
Pages | 236-243 |
Publication status | Published - 2011 |
Event | 1st Workshop on Formal Methods in the Development of Software (WS-FMDS 2011) - Madrid, Spain Duration: 13 Jul 2011 → 14 Jul 2011 |
Conference
Conference | 1st Workshop on Formal Methods in the Development of Software (WS-FMDS 2011) |
---|---|
Country | Spain |
City | Madrid |
Period | 13/07/11 → 14/07/11 |
Fields of Expertise
- Information, Communication & Computing
Treatment code (Nähere Zuordnung)
- Basic - Fundamental (Grundlagenforschung)
- Experimental