Irene Papakonstantinou - Wissenschaftliche Veröffentlichungen

(1 - 8 von 8

)

dblp: Irene Papakonstantinou

dblp.uni-trier.de

List of computer science publications by Irene Papakonstantinou

Search results for "Cristiano Calcagno" – FacetedDBLP

dblp.l3s.uni-hannover.de

Cristiano Calcagno, Dino Distefano, Jérémy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter W. O'Hearn, Irene Papakonstantinou, Jim Purbrick, ...

dblp: Cristiano Calcagno

dblp.uni-trier.de

List of computer science publications by Cristiano Calcagno

dblp: Pieter Hooimeijer

dblp.org

List of computer science publications by Pieter Hooimeijer

dblp: NASA Formal Methods 2015

dblp.uni-trier.de

Bibliographic content of NASA Formal Methods 2015

ScalabletTest Framework for device driver validation ...www.sciencepubco.com › ijet › view

www.sciencepubco.com

... Gabi, Pieter Hooimeijer, Martino Luca, Peter O'Hearn, Irene Papakonstantinou, Jim Purbrick, and Dulma Rodriguez “Moving Fast with Software Verification”.

dblp: Peter W. O'Hearn

dblp.uni-trier.de

List of computer science publications by Peter W. O'Hearn

dblp: Dino Distefano

dblp.uni-trier.de

List of computer science publications by Dino Distefano

Verwandte Suchanfragen zu Irene Papakonstantinou

Personen
Vorname "Irene" (18308)
Name "Papakonstantinou" (54)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wissenschaftliche Veröffentlichungen Irene Papakonstantinou