Tevfik Bultan, Jeffrey Fischer, Richard Gerber
Compositional Verification by Model Checking for Counter-Examples
ISSTA, 1996.
@inproceedings{ISSTA-1996-BultanFG,
author = "Tevfik Bultan and Jeffrey Fischer and Richard Gerber",
booktitle = "{Proceedings of the International Symposium on Software Testing and Analysis}",
doi = "10.1145/229000.226321",
number = 3,
pages = "224--238",
publisher = "{ACM Press}",
series = "{Software Engineering Notes}",
title = "{Compositional Verification by Model Checking for Counter-Examples}",
volume = 21,
year = 1996,
}