62
Voted
APSEC
2001
IEEE
15 years 14 days ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...