idani06FMSD

Akram Idani, Yves Ledru. Object Oriented Concepts Identification from Formal B Specifications. International Journal of Formal Methods in System Design, 30(3):217-232, Juin 2007.

Télécharger l'article

Charger l'article : (link)

Copyright :

Contact

Akram Idani
Yves Ledru

Référence BibTex

@article{idani06FMSD,
   Author = {Idani, Akram and Ledru, Yves},
   Title = {Object {O}riented {C}oncepts {I}dentification from {F}ormal {B} {S}pecifications},
   Journal = {International Journal of Formal Methods in System Design},
   Volume = {30},
   Number = {3},
   Pages = {217--232},
   Month = {June},
   Year = {2007}
}

Référence EndNote [help]

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