• Medientyp: E-Artikel
  • Titel: A Framework for Establishing Formal Conformance between Object Models and Object-Oriented Programs
  • Beteiligte: Massoni, Tiago; Gheyi, Rohit; Borba, Paulo
  • Erschienen: Elsevier BV, 2008
  • Erschienen in: Electronic Notes in Theoretical Computer Science, 195 (2008), Seite 189-209
  • Sprache: Englisch
  • DOI: 10.1016/j.entcs.2007.08.033
  • ISSN: 1571-0661
  • Entstehung:
  • Anmerkungen:
  • Zugangsstatus: Freier Zugang