Permanent link
https://doi.org/10.3929/ethz-a-006835711Publication status
publishedJournal / series
ETH technical reportVolume
Publisher
Swiss Federal Institute of TechnologyEvent
Subject
SCHLUSSVERFAHREN + BEWEISTHEORIE (MATHEMATISCHE LOGIK); TESTING + DEBUGGING (SOFTWARE ENGINEERING); TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING); KORREKTHEIT (THEORIE DER PROGRAMMIERUNG); INFERENCE SEARCH + PROOF THEORY (MATHEMATICAL LOGIC); CORRECTNESS (THEORY OF PROGRAMMING)Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science
More
Show all metadata
ETH Bibliography
yes
Altmetrics