An Overview of Formal Methods Tools and Techniques

Вид публикации:

Book Chapter

Авторы:

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

Источник:

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