Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings - Cavalheiro, Simone; Fiadeiro, José.; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Formal methods integration and experience reports -- Model checking -- Refinement and verification -- Semantics and languages.
Keywords: Software engineering; Computers; Computer simulation; Computer system failures; Software Engineering; Theory of Computation; Simulation and Modeling; The Computing Profession; System Performance and Evaluation