Inproceedings,
Formal Test-Driven Development with Verified Test Cases.
B. Aichernig, F. Lorber, and S. Tiran.MODELSWARD, page 626-635. SciTePress, (2014)
Meta data
- BibTeX key
- conf/modelsward/AichernigLT14
- entry type
- inproceedings
- booktitle
- MODELSWARD
- year
- 2014
- pages
- 626-635
- publisher
- SciTePress
- crossref
- conf/modelsward/2014
- ee
- https://ieeexplore.ieee.org/document/7018535/
- isbn
- 978-989-758-007-9
- url
- http://dblp.uni-trier.de/db/conf/modelsward/modelsward2014.html#AichernigLT14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/modelsward/AichernigLT14
%A Aichernig, Bernhard K.
%A Lorber, Florian
%A Tiran, Stefan
%B MODELSWARD
%D 2014
%E Pires, Luís Ferreira
%E Hammoudi, Slimane
%E Filipe, Joaquim
%E das Neves, Rui César
%I SciTePress
%K dblp
%P 626-635
%T Formal Test-Driven Development with Verified Test Cases.
%U http://dblp.uni-trier.de/db/conf/modelsward/modelsward2014.html#AichernigLT14
%@ 978-989-758-007-9
@inproceedings{conf/modelsward/AichernigLT14,
added-at = {2021-08-11T00:00:00.000+0200},
author = {Aichernig, Bernhard K. and Lorber, Florian and Tiran, Stefan},
biburl = {https://www.bibsonomy.org/bibtex/22bb1055e6bc27f86b8f5c908c47555b9/dblp},
booktitle = {MODELSWARD},
crossref = {conf/modelsward/2014},
editor = {Pires, Luís Ferreira and Hammoudi, Slimane and Filipe, Joaquim and das Neves, Rui César},
ee = {https://ieeexplore.ieee.org/document/7018535/},
interhash = {949ec9ec7bcbce641cff4adc42f2b0f4},
intrahash = {2bb1055e6bc27f86b8f5c908c47555b9},
isbn = {978-989-758-007-9},
keywords = {dblp},
pages = {626-635},
publisher = {SciTePress},
timestamp = {2024-04-10T08:31:11.000+0200},
title = {Formal Test-Driven Development with Verified Test Cases.},
url = {http://dblp.uni-trier.de/db/conf/modelsward/modelsward2014.html#AichernigLT14},
year = 2014
}