Contract-Based Slicing Helps on Safety Reuse

2010 IEEE 18th International Conference on Program Comprehension ◽

10.1109/icpc.2010.44 ◽

2010 ◽

Author(s):

Sérgio Areias ◽

Daniela da Cruz ◽

Jorge Sousa Pinto

Download Full-text