Top 256 florinda matos valter vairinhos paulo maur cio selig leif edvinsson PDF Book Page 11

book image

Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

Harald König, Michael Löwe (auth.), Adenilso Simao, Carroll Morgan (eds.)
·212 Pages
·2011
·2.766 MB