An Overview of Formal Methods Tools and Techniques

Publication Type:

Book Chapter

Authors:

José Bacelar Almeida; Maria João Frade; Jorge Sousa Pinto; Simão Melo de Sousa

Source:

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