CIC-04:vasco-35

Akram Idani, Yves Ledru. Object Oriented Concepts Identification from Formal B Specifications. In Proceedings of 9th Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS'04), ENTCS 133 (2005), Elsevier, Pages 159-174, Linz, Septembre 2004.

Télécharger l'article

Charger l'article : (link)

Copyright :

Contact

Akram Idani
Yves Ledru

Référence BibTex

@InProceedings{CIC-04:vasco-35,
   Author = {Idani, Akram and Ledru, Yves},
   Title = {{O}bject {O}riented {C}oncepts {I}dentification from {F}ormal {B} {S}pecifications},
   BookTitle = {Proceedings of 9th Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS'04), ENTCS 133 (2005), Elsevier},
   Pages = {159--174},
   Address = {Linz},
   Month = {September},
   Year = {2004}
}

Référence EndNote [help]

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