Media type: E-Book Title: Dynamic Trace Logic : Definition and Proofs Contributor: Beckert, Bernhard [Author]; Grahl, Daniel [Author] imprint: Karlsruhe: KIT, Fakultät für Informatik, 2012 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2012,10 Extent: Online-Ressource Language: English Keywords: Forschungsbericht Origination: Footnote: Systemvoraussetzungen: Acrobat reader Access State: Open Access