Written by Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation, Part I


Leveraging Applications of Formal Methods, Verification, and Validation, part 2