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