Sciweavers

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