"FME 2001. Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001. Proceedings " - читать интересную книгу автора (Jose N. Oliveira, Pamela Zave)