"Formal methods: foundations and applications 15th Brazilian symposium ; proceedings" - читать интересную книгу автора (Rohit Gheyi; David Naumann )