FM 2008: Formal Methods. 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Tapa blanda

 
9783540863939: FM 2008: Formal Methods. 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings