104
click to vote
TPHOL
1993
IEEE
15 years 7 months ago
1993
IEEE
Mathematical techniques can be used to produce precise, provably complete documentation for computer systems. However, such documents are highly detailed and oversights and other ...