External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings

Juliano Iyoda, Leonardo Mendonça de Moura, editors, Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. Volume 8195 of Lecture Notes in Computer Science, Springer, 2013. [doi]

Conference: sbmf2013

Editors

Juliano Iyoda

This author has not been identified. Look up 'Juliano Iyoda' in Google

Leonardo Mendonça de Moura

This author has not been identified. Look up 'Leonardo Mendonça de Moura' in Google
runs on