Andy Kellens, Carlos Noguera, Theo D Hondt, Luc Jorissen, Bart Van Passel. Verifying the design of an outsourced COBOL system with IntensiVE. In 26th IEEE International Conference on Software Maintenance (ICSM 2010), September 12-18, 2010, Timisoara, Romania. pages 1-8, IEEE Computer Society, 2010. [doi]
Abstract is missing.