Formal Methods: Foundations and Applications
19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
- Editors
- (view affiliations)
Conference proceedings
SBMF 2016
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10090)
Also part of the Programming and Software Engineering book sub series (LNPSE, volume 10090)