61
Voted
ICSE
2000
IEEE-ACM
15 years 14 days ago
2000
IEEE-ACM
Explicitly stated program invariants can help programmers by characterizing certain aspects of program execution and identifying program properties that must be preserved when mod...