![](/img/cover-not-exists.png)
[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - Verification of Object Relational Maps
Mehra, Krishna K., Rajamani, Sriram K., Sistla, A. Prasad, Jha, Sumit K.Year:
2007
Language:
english
DOI:
10.1109/sefm.2007.45
File:
PDF, 398 KB
english, 2007