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, September 2004.

Download

Download paper: (link)

Copyright notice:

Contact

Akram Idani
Yves Ledru

BibTex Reference

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

EndNote Reference [help]

Get EndNote Reference (.ref)