43387774
9783319294728
Corn�lio, M�rcio is the author of 'Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, MG, Brazil, September 21-22, 2015, Revised Selected Papers', published 2016 under ISBN 9783319294728 and ISBN 3319294725.
[read more]