BibTeX record conf/sefm/MehraRSJ07

download as .bib file

@inproceedings{DBLP:conf/sefm/MehraRSJ07,
  author    = {Krishna K. Mehra and
               Sriram K. Rajamani and
               A. Prasad Sistla and
               Sumit Kumar Jha},
  title     = {Verification of Object Relational Maps},
  booktitle = {{SEFM}},
  pages     = {283--292},
  publisher = {{IEEE} Computer Society},
  year      = {2007}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics