Christiano Braga
Identifiers
- Open LibraryOL7861036A
Top Subjects
- Computer software, development (1)
- Software engineering (1)
Books by Christiano Braga
Total count: 2
-
Formal Methods : Foundations and Applications17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. ProceedingsSpringer International Publishing AG2015-01-01
-
Formal Aspects of Component Software12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected PapersSpringer London, Limited2016-01-01