Thomas Mender - Wissenschaftliche Veröffentlichungen

(1 - 8 von 8

)

dblp: Leveraging Applications of Formal Methods 2008

dblp.uni-trier.de

Bibliographic content of Leveraging Applications of Formal Methods 2008

dblp: Thomas Mender

dblp.org

List of computer science publications by Thomas Mender

Bernhard Steffen - DBLPdblp.uni-trier.de › Persons

dblp.uni-trier.de

Martina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Bernhard Steffen, Hong Trinh: The jABC Approach to Rigorous Collaborative Development of SCM ...

dblp: Bernhard Steffen

dblp.dagstuhl.de

List of computer science publications by Bernhard Steffen

dblp: Ralf Nagel 0001

dblp.uni-trier.de

List of computer science publications by Ralf Nagel

dblp: Hong Trinh

dblp.org

List of computer science publications by Hong Trinh

dblp: Martina Hörmann

dblp.org

List of computer science publications by Martina Hörmann

dblp: Tiziana Margaria

dblp.dagstuhl.de

List of computer science publications by Tiziana Margaria

Verwandte Suchanfragen zu Thomas Mender

Robert Hörmann
Martina Hörmann
Tiziana Margaria

Ralf Nagel
Rudy Urban
Steve Pravecek

Volker Kolletzki
Dora Buro
Ulrike Mekelburg

Personen
Vorname "Thomas" (124868)
Name "Mender" (65)

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 Thomas Mender