![]() |
@inproceedings{DBLP:conf/hicss/HechtH97,
author = {Herbert Hecht and
Myron Hecht},
title = {Test-Linked Specification For Safety-Critical Software},
booktitle = {HICSS (5)},
year = {1997},
pages = {267-272},
ee = {http://csdl.computer.org/comp/proceedings/hicss/1997/7734/05/7734050267abs.htm},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2004-05-11 by Michael Ley (ley@uni-trier.de)