Four-fold increase in productivity and quality (2001)

by Ulf Wiger
Venue:In Workshop on Formal Design of Safety Critical Embedded Systems