107
click to vote
FLOPS
2010
Springer
15 years 10 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...