Joseph E. Hollingsworth, Lori Blankenship, Bruce W. Weide
Experience report: using RESOLVE/C++ for commercial software
FSE, 2000.
@inproceedings{FSE-2000-HollingsworthBW,
acmid = "355045.355048",
author = "Joseph E. Hollingsworth and Lori Blankenship and Bruce W. Weide",
booktitle = "{Proceedings of the Eighth Symposium on Foundations of Software Engineering}",
pages = "11--19",
publisher = "{ACM}",
title = "{Experience report: using RESOLVE/C++ for commercial software}",
year = 2000,
}