| Original language | English |
|---|---|
| Pages (from-to) | 710-735 |
| Journal | Journal of Universal Computer Science |
| Volume | 7 |
| Issue number | 8 |
| Publication status | Published - 2001 |
Cite this
Test-design through abstraction - a systematic approach based on the refinement calculus. / Aichernig, Bernhard.
In: Journal of Universal Computer Science , Vol. 7, No. 8, 2001, p. 710-735.Research output: Contribution to journal › Article › Research › peer-review
Aichernig, B 2001, 'Test-design through abstraction - a systematic approach based on the refinement calculus' Journal of Universal Computer Science , vol. 7, no. 8, pp. 710-735.
@article{23c3f8142d974d22b63197b6a89a6a95,
title = "Test-design through abstraction - a systematic approach based on the refinement calculus",
author = "Bernhard Aichernig",
year = "2001",
language = "English",
volume = "7",
pages = "710--735",
journal = "Journal of Universal Computer Science",
issn = "0948-695X",
publisher = "Verlag der Technischen Universit{\"a}t Graz",
number = "8",
}
TY - JOUR
T1 - Test-design through abstraction - a systematic approach based on the refinement calculus
AU - Aichernig, Bernhard
PY - 2001
Y1 - 2001
M3 - Article
VL - 7
SP - 710
EP - 735
JO - Journal of Universal Computer Science
JF - Journal of Universal Computer Science
SN - 0948-695X
IS - 8
ER -