Verification of object relational maps Conference

Mehra, Krishna K, Rajamani, Sriram K, Sistla, A Prasad et al. (2007). Verification of object relational maps . 283-292. 10.1109/SEFM.2007.39

cited authors

  • Mehra, Krishna K; Rajamani, Sriram K; Sistla, A Prasad; Jha, Surnit K

authors

date/time interval

  • September 12, 2007 -

publication date

  • January 1, 2007

keywords

  • Computer Science
  • Computer Science, Interdisciplinary Applications
  • Computer Science, Software Engineering
  • EXPRESSIONS
  • Science & Technology
  • Technology
  • Telecommunications

Location

  • ENGLAND, London

Digital Object Identifier (DOI)

International Standard Book Number (ISBN) 13

Conference

  • 5th IEEE International Conference on Software Engineering and Formal Methods

publisher

  • IEEE COMPUTER SOC

start page

  • 283

end page

  • 292