Verification of Object Relational Maps.

Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha

Browse the full SEFM paper archive.