Impact of Program Transformation on Software Reliability Assessment (1996)

by Farokh B Bastani, B Cukic
Venue:IEEE High-Assurance Systems Engineering Workshop