An Overview of Formal Methods Tools and Techniques

Publication Type:

Book Chapter

Source:

Rigorous Software Development: An Introduction to Program Verification, London, p.15-44 (2011)
Share/Save