@inproceedings{DBLP:conf/itc/TakasakiKFY81,
author = {Shigeru Takasaki and
Masato Kawai and
Shigehiro Funatsu and
Akihiko Yamada},
title = {A Calculus of Testability Measure at the Functional Level},
booktitle = {ITC},
year = {1981},
pages = {95-101},
crossref = {DBLP:conf/itc/1981},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/itc/1981,
title = {Proceedings International Test Conference 1981, Philadelphia,
PA, USA, October 1981},
booktitle = {ITC},
publisher = {IEEE Computer Society},
year = {1981},
bibsource = {DBLP, http://dblp.uni-trier.de}
}