Formal Test-Driven Development with Verified Test Cases.

Bernhard K. Aichernig, Florian Lorber, Stefan Tiran

Browse the full MODELSWARD paper archive.