Author Search Results

1

Cover Image

Formal methods: foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014, Proceedings Christiano Braga [et al.], (eds....

Published 2015

Other Authors: '; “...Mart Oliet, Narciso...”