Hinweis
Dieser Eintrag wurde automatisch aus einem Altsystem migriert. Die Daten wurden nicht überprüft und entsprechen eventuell nicht den Qualitätskriterien des vorliegenden Systems.
Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/55426
-
Titel: 
Reasoning About Loops Using Vampire in KeY
-
Zitat: 
Ahrendt, W., Kovacs, L., & Robillard, S. (2015). Reasoning About Loops Using Vampire in KeY. In M. Davis, A. Fehnker, A. McIver, & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings. LNCS. https://doi.org/10.1007/978-3-662-48899-7_30
-
Verlags-DOI: 
10.1007/978-3-662-48899-7_30
-
Publikationstyp: 
Konferenzbeitrag - Full-Paper Contribution
de
Autor_innen: 
Ahrendt, Wolfgang 
Kovacs, Laura 
Robillard, Simon 
-
Organisations­einheit: 
E194-05 - Forschungsbereich Compilers and Languages 
-
Erschienen in: 
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings 
-
DOI des Buches: 
10.1007/978-3-662-48899-7
-
Datum (veröffentlicht): 
2015
-
Veranstaltungs­name: 
International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) 
-
Veranstaltungs­zeitraum: 
14-Mär-2005 - 18-Mär-2005
-
Veranstaltungs­ort: 
Montevideo, Uruguay, Österreich
-
Umfang: 
10
-
Verlag: 
LNCS, 9450
-
Peer Reviewed: 
Ja
-
Forschungs­schwerpunkte: 
Logic and Computation: 100%
-
Wissenschafts­zweig: 
Informatik
-
Enthalten in den Sammlungen:
Conference Paper

Zur Langanzeige

Seiten Aufrufe

241
aufgerufen am 23.11.2023

Download(s)

2
aufgerufen am 23.11.2023

Google ScholarTM

Check