Proving Component Interoperability with B Refinement. Chouali, S., Heisel, M., & Souquières, J. Electronic Notes in Theoretical Computer Science, 160:157–172, August, 2006.
bibtex   
@ARTICLE{CHS2006,
    author = {Chouali, Samir and Heisel, Maritta and Souqui{\`{e}}res, Jeanine},
     month = {August},
     title = {Proving Component Interoperability with B Refinement},
   journal = {Electronic Notes in Theoretical Computer Science},
    volume = {160},
      year = {2006},
     pages = {157--172}
}
Downloads: 0