Share
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, Sbmf 2017, Recife, Brazil, November 29 -- December 1, 2017, Proceedings
Cavalheiro, Simone ; Fiadeiro, José (Author)
·
Springer
· Paperback
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, Sbmf 2017, Recife, Brazil, November 29 -- December 1, 2017, Proceedings - Cavalheiro, Simone ; Fiadeiro, José
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My Wishlists
Origin: U.S.A.
(Import costs included in the price)
It will be shipped from our warehouse between
Friday, August 09 and
Friday, August 16.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "Formal Methods: Foundations and Applications: 20th Brazilian Symposium, Sbmf 2017, Recife, Brazil, November 29 -- December 1, 2017, Proceedings"
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.