Showing 1 - 2 results of 2 for search 'Braga, Christiano', query time: 0.01s Refine Results
  1. 1
    Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers /
    Published 2016
    Other Authors: “…Braga, Christiano…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /
    Published 2015
    Other Authors: “…Braga, Christiano…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search