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)
