Joost-Pieter Katoen, Perdita Stevens. Guest editors introduction: Advancements and extensions of verification techniques. STTT, 6(2):99-101, 2004. [doi]
@article{KatoenS04,
title = {Guest editors introduction: Advancements and extensions of verification techniques},
author = {Joost-Pieter Katoen and Perdita Stevens},
year = {2004},
url = {http://www.springerlink.com/index/10.1007/s10009-004-0150-0},
researchr = {https://researchr.org/publication/KatoenS04},
cites = {0},
citedby = {0},
journal = {STTT},
volume = {6},
number = {2},
pages = {99-101},
}