Skip to main navigation Skip to search Skip to main content

Formal Test-Driven Development with Verified Test Cases

Research output: Book/ReportOther report

Original languageEnglish
Publisher.
Publication statusPublished - 2012

Fields of Expertise

  • Information, Communication & Computing

Cite this