2013
Formal methods for components and objects : 11th international symposium, FMCO 2012
Publication
Publication
Presented at the
Formal Methods for Components and Objects, Bertinoro, Italy
| Additional Metadata | |
|---|---|
| THEME | Software (theme 1) |
| Publisher | Springer |
| Editor | E. Giachino (Elena) , R. Hähnle (Reiner) , F.S. de Boer (Frank) , M.M. Bonsangue (Marcello) |
| ISBN | 978-3-642-40615-7 |
| Persistent URL | dx.doi.org/10.1007/978-3-642-40615-7 |
| Series | Lecture Notes in Computer Science |
| Conference | Formal Methods for Components and Objects |
| Citation |
Giachino, E, Hähnle, R, de Boer, F.S, & Bonsangue, M.M (Eds.). (2013). Formal methods for components and objects : 11th international symposium, FMCO 2012. In E Giachino, R Hähnle, F.S de Boer, & M.M Bonsangue (Eds.), Lecture Notes in Computer Science. Springer. doi:10.1007/978-3-642-40615-7
|