Programming Languages and Systems

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Programming Languages and Systems
 
Publisher Herausgeber
Springer / LNCS
 
Place of publishing Erscheinungsort
7792
 
Series Schriftenreihe
Lecture Notes in Computer Science
 

Publications Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovács, Laura Automated Termination Analysis of Polynomial Probabilistic ProgramsKonferenzbeitrag Inproceedings2021
2Beyer, Dirk ; Holzer, Andreas ; Tautschnig, Michael ; Veith, Helmut Information Reuse for Multi-goal Reachability AnalysesKonferenzbeitrag Inproceedings 2013
3Hoder, Kryštof ; Holzer, Andreas ; Kovács, Laura ; Voronkov, Andrei Vinter: A Vampire-Based Tool for InterpolationKonferenzbeitrag Inproceedings 2012