Jon Hagar

Adding formal specifications to a proven V&V process for system-critical flight software

James M. Bieman, Jon Hagar, 1995, Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.

Using formal specifications as test oracles for system-critical software

James M. Bieman, Jon Hagar, 1996, ALET.