Programming Languages and Systems
Book title Buchtitel
Programming Languages and Systems
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
12648
Series Schriftenreihe
Lecture Notes in Computer Science
Results 1-3 of 3 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovács, Laura | Automated Termination Analysis of Polynomial Probabilistic Programs | Konferenzbeitrag Inproceedings | 2021 | |
| 2 | Beyer, Dirk ; Holzer, Andreas ; Tautschnig, Michael ; Veith, Helmut | Information Reuse for Multi-goal Reachability Analyses | Konferenzbeitrag Inproceedings  | 2013 | |
| 3 | Hoder, Kryštof ; Holzer, Andreas ; Kovács, Laura ; Voronkov, Andrei | Vinter: A Vampire-Based Tool for Interpolation | Konferenzbeitrag Inproceedings | 2012 |