Similar content being viewed by others
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Stevens, P. A verification tool developer’s vade mecum. STTT 2, 89–94 (1998). https://doi.org/10.1007/s100090050019
Issue Date:
DOI: https://doi.org/10.1007/s100090050019