Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha. Verification of Object Relational Maps. In Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK. pages 283-292, IEEE Computer Society, 2007. [doi]
Abstract is missing.