Nikolai Kosmatov

• Testing Software and Systems
• Guide to Software Verification with Frama-C
• Integrated Formal Methods
• Tests and Proofs