Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies by Tiziana Margaria-Steffen | Menrva Books | MenrvaBooks
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies