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, June 2007.

Download

Download paper: (link)

Copyright notice:

Contact

Akram Idani
Yves Ledru

BibTex Reference

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

EndNote Reference [help]

Get EndNote Reference (.ref)