Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Eleftherakis, George ; Hinchey, Mike ; Holcombe, Mike Hinchey, Mike ; Holcombe, Mike ; Eleftherakis, George
Netherlands: Springer Nature 2012
Texto completo disponível