Formal Methods: Foundations and Applications  20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings /  [electronic resource] : 
edited by Simone Cavalheiro, José Fiadeiro. 
 - 1st ed. 2017. 
 - X, 305 p. 101 illus.  online resource. 
 - Programming and Software Engineering,  10623  2945-9168 ; .
 - Programming and Software Engineering,  10623 .
<br/><br/>Formal methods integration and experience reports -- Model checking -- Refinement and verification -- Semantics and languages. 
<br/><br/> The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license. 
<br/><br/><label>ISBN: </label>9783319708485 
<br/><br/><label>Standard No.: </label>10.1007/978-3-319-70848-5  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.<br/>Computer science.<br/>Computer simulation.<br/>Computers.<br/>Professions.<br/>Electronic digital computers--Evaluation.<br/>Software Engineering.<br/>Theory of Computation.<br/>Computer Modelling.<br/>The Computing Profession.<br/>System Performance and Evaluation.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1