Formal Test-Driven Development with Verified Test Cases

Bernhard Aichernig, Florian Lukas Lorber, Stefan Tiran

Research output: Book/ReportOther reportResearch

Original languageEnglish
Publisher.
Publication statusPublished - 2012

Fields of Expertise

  • Information, Communication & Computing

Cite this

Formal Test-Driven Development with Verified Test Cases. / Aichernig, Bernhard; Lorber, Florian Lukas; Tiran, Stefan.

., 2012.

Research output: Book/ReportOther reportResearch

Aichernig, Bernhard ; Lorber, Florian Lukas ; Tiran, Stefan. / Formal Test-Driven Development with Verified Test Cases. ., 2012.
@book{68f22a39cb8c4dbfb7271d9bd99d93a0,
title = "Formal Test-Driven Development with Verified Test Cases",
author = "Bernhard Aichernig and Lorber, {Florian Lukas} and Stefan Tiran",
note = "Reportnr.: IST-MBT-2012-02",
year = "2012",
language = "English",
publisher = ".",

}

TY - BOOK

T1 - Formal Test-Driven Development with Verified Test Cases

AU - Aichernig, Bernhard

AU - Lorber, Florian Lukas

AU - Tiran, Stefan

N1 - Reportnr.: IST-MBT-2012-02

PY - 2012

Y1 - 2012

M3 - Other report

BT - Formal Test-Driven Development with Verified Test Cases

PB - .

ER -