Formal Methods: Foundations and Applications
Lecture notes in computer science · 2018
This SBMF 2018 conference proceedings focuses on the development and use of formal methods for the construction and verification of computer systems, promoting opportunities for researchers with interest in formal methods to discuss recent advances in this area.