| | |
@article{DBLP:journals/sttt/RuysB03,
author = {Theo C. Ruys and
Ed Brinksma},
title = {Managing the verification trajectory},
journal = {STTT},
volume = {4},
number = {2},
year = {2003},
pages = {246-259},
ee = {http://dx.doi.org/10.1007/s10009-002-0078-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2004-11-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page