Name Card

Full name Familienname, Vorname
Robillard, Simon
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Gleiss, Bernhard ; Kovács, Laura ; Robillard, Simon Loop Analysis by Quantification over IterationsKonferenzbeitrag Inproceedings 2018
2Kovacs, Laura ; Robillard, Simon ; Voronkov, Andrei Coming to Terms with Quantified ReasoningKonferenzbeitrag Inproceedings 2017
3Ahrendt, Wolfgang ; Kovacs, Laura ; Robillard, Simon Reasoning About Loops Using Vampire in KeYKonferenzbeitrag Inproceedings 2015