"FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings" - читать интересную книгу автора (Jorge Cuellar)