Verification of Object Relational Maps
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha
Verification of Object Relational Maps
SEFM, 2007.

SEFM 2007
Full names Links ISxN
	author        = "Krishna K. Mehra and Sriram K. Rajamani and A. Prasad Sistla and Sumit Kumar Jha",
	booktitle     = "{Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods}",
	doi           = "10.1109/SEFM.2007.45",
	isbn          = "978-0-7695-2884-7",
	pages         = "283--292",
	publisher     = "{IEEE Computer Society}",
	title         = "{Verification of Object Relational Maps}",
	year          = 2007,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.