Search dblp for Publications

export results for "Transforming Event B Models into Verified C# Implementations"

 download as .bib file

@inproceedings{DBLP:conf/cav/MeryM13,
  author       = {Dominique M{\'{e}}ry and
                  Rosemary Monahan},
  title        = {Transforming Event {B} Models into Verified C{\#} Implementations},
  booktitle    = {VPT@CAV},
  series       = {EPiC Series in Computing},
  volume       = {16},
  pages        = {57--73},
  publisher    = {EasyChair},
  year         = {2013}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics