Filtering Retrenchments into Refinements

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) ◽

10.1109/sefm.2006.17 ◽

2006 ◽

Cited By ~ 3

Author(s):

R. Banach ◽

J. Derrick

Download Full-text