On the formal development of safety-critical software (0)

by A Galloway, F Iwu, J A McDermid, I Toyn
Venue:in VSTTE, 2005