Formal Test-Driven Development with Verified Test Cases

Bernhard Aichernig, Florian Lukas Lorber, Stefan Tiran

Research output: Book/ReportOther report

Search results