Darrell F. Oresky, Christine Haapala. Verification and validation in an iterative software development environment. In Proceedings of the Fourth International Workshop on Rapid System Prototyping, RSP 1993, Research Triangle Park, North Carolina, USA, June 28-30, 1993. pages 57-67, IEEE, 1993. [doi]
Abstract is missing.