Steve M. Easterbrook, John R. Callahan. Independent validation of specifications: a coordination headache. In 5th Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE 96), June 19-21, 1996, Stanford, CA, USA, Proceedings. pages 232-237, IEEE Computer Society, 1996. [doi]
Abstract is missing.