Formal Test-Driven Development with Verified Test Cases

Bernhard Aichernig, Florian Lukas Lorber, Stefan Tiran

Publikation: Buch/Bericht/KonferenzbandSonstiger Bericht

Originalspracheenglisch
Verlag.
PublikationsstatusVeröffentlicht - 2012

Fields of Expertise

  • Information, Communication & Computing

Dieses zitieren