Proofs and proof transformations for object-oriented programs
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
Networked Digital Library of Theses and Dissertations