Experience report: Using RESOLVE/C++ for commercial software (2000)

by Joseph E. Hollingsworth
Venue:In SIGSOFT ’00/FSE-8: Proceedings of the 8th ACM SIGSOFT International Symposium on Foundations of Software Engineering
Citations:23 - 8 self