144
click to vote
FLOPS
2010
Springer
16 years 12 days 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...