"Formal Methods: Foundations and Applications, 13th Brazilian Symposium on Formal Methods, SBMF 2010 Natal, Brazil, November 8-11, 2010" - читать интересную книгу автора (Jim Davies, Leila Silva, Adenilso Simao)