Programming Languages and Systems

Book title Buchtitel

Publisher Herausgeber

Springer / LNCS

Place of publishing Erscheinungsort

7792

Series Schriftenreihe

Lecture Notes in Computer Science

Filter:

Author: Holzer, Andreas

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

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Beyer, Dirk ; Holzer, Andreas ; Tautschnig, Michael ; Veith, Helmut	Information Reuse for Multi-goal Reachability Analyses	Konferenzbeitrag Inproceedings	2013
	2		Hoder, Kryštof ; Holzer, Andreas ; Kovács, Laura ; Voronkov, Andrei	Vinter: A Vampire-Based Tool for Interpolation	Konferenzbeitrag Inproceedings	2012