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

Filter:
Date Issued:  [2000 TO 2024]
Author:  Kovács, Laura

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovács, Laura Automated Termination Analysis of Polynomial Probabilistic ProgramsKonferenzbeitrag Inproceedings2021
2Hoder, Kryštof ; Holzer, Andreas ; Kovács, Laura ; Voronkov, Andrei Vinter: A Vampire-Based Tool for InterpolationKonferenzbeitrag Inproceedings 2012