Proofs and proof transformations for object-oriented programs
type: CreativeWork
author: Nordio, Darío M.
language: en
keywords: OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); TESTING + DEBUGGING (SOFTWARE ENGINEERING); OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING); KORREKTHEIT (THEORIE DER PROGRAMMIERUNG); CORRECTNESS (THEORY OF PROGRAMMING), info:eu-repo/classification/ddc/004, Data processing, computer science
license: http://rightsstatements.org/page/InC-NC/1.0/
date published: 2009
date modified: 2026-07-27T19:27:27Z
provider: ETH Zürich
publisher: Networked Digital Library of Theses and Dissertations
type: WebPage
source organization: ETH

PropertyValue
property ID: Handle
value: http://hdl.handle.net/20.500.11850/72690

PropertyValue
property ID: DOI
value: 10.3929/ethz-a-006042266