D. Duval, C. Lair, C. Oriat, J.C. Reynaud. A zooming process for specifications with an application to exceptions. RR IMAG-LMC, No 1055, 2003.
Download paper:
Adobe portable document (pdf)
Copyright notice:
Catherine Oriat
Jean-Claude Reynaud
@TechReport{AP-03:vasco-90,
Author = {Duval, D. and Lair, C. and Oriat, C. and Reynaud, J.C.},
Title = {{A zooming process for specifications with an application to exceptions}},
Number = {1055},
Institution = {IMAG-LMC},
Year = {2003}
}
Get EndNote Reference (.ref)