Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Verification of Object-Relational Maps

Krishna Mehra, Sriram K. Rajamani, Prasad Sistla, and Sumit K. Jha

Details

Publication typeInproceedings
Published inProceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM)
PublisherIEEE Computer Society
> Publications > Verification of Object-Relational Maps