AP-03:vasco-90

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.

Télécharger l'article

Charger l'article : Adobe portable document (pdf)

Copyright :

Contact

Catherine Oriat
Jean-Claude Reynaud

Référence BibTex

@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}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)