31 search results - page 7 / 7 » Redundancy: Helping Semantic Disambiguation |
IEE
2008
13 years 6 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...