Marcel Rothe und Software - Info zur Person

(1 - 8 von 13

)

LinkedIn: Marcel Rothe - Deutschland | LinkedIn

Marcel Rothe. Berufserfahrung von Marcel Rothe: Software Engineer, GLOBALFOUNDRIES; Web Developer, Fink und Partner Media Services; Praktikant, Fraunhofer-Gesellschaft.

Deductive Software Verification – The KeY Book: From Theory ...google.ch

books.google.ch

... Marcel Rothe. A visual interactive debugger based on symbolic execution. In Jamie Andrews and Elisabetta Di Nitto, editors, Proc. 25th IEEE/ACM ...

Deductive Verification of Object-oriented Software: Dynamic ...google.ch

books.google.ch

... Marcel Rothe. A visual interactive debugger based on symbolic execution. In Charles Pecheur, Jamie Andrews, and Elisabetta Di Nitto, editors, Proceedings ...

Deductive Software Verification – The KeY Book: From Theory ...google.de

books.google.de

Reiner Hähnle, Markus Baum, Richard Bubel, and Marcel Rothe. A visual interactive debugger based on symbolic execution. In Jamie Andrews and Elisabetta Di ...

Deductive Verification of Object-oriented Software: Dynamic ...google.de

books.google.de

Reiner Hähnle, Marcus Baum, Richard Bubel, and Marcel Rothe. A visual interactive debugger based on symbolic execution. In Charles Pecheur, Jamie Andrews, ...

Publications | Jürgen Anke

janke.netlify.app

Professor für Softwaretechnologie und Informationssysteme

Marcel Rothe - Software Engineer - DUALIS GmbH IT Solution ...www.linkedin.com › pub › marcel-...

www.linkedin.com

View Marcel Rothe's profile on LinkedIn, the world's largest professional community. Marcel has 5 jobs listed on their profile. See the complete profile on ...

KeY Project: Integrated Deductive Software Design

i12www.ira.uka.de

Reiner Hähnle, Markus Baum, Richard Bubel, and Marcel Rothe 25th IEEE/ACM International Conference on Automated Software Engineering (Antwerp, Belgium), ASE PDF Specifying Imperative ML-like Programs Using Dynamic Logic Séverine Maingaud and Vincent Balat, Richard Bubel, Reiner Hähnle and Alexandre Miquel

Alle Infos zum Namen "Marcel Rothe"

Verwandte Suchanfragen zu Marcel Rothe

Nadine Witt
Marcus Baum
Patrick Röthe

Simone Rothe
Carsten de Sand
Sabine Meyer-Szabo

Natascha Köper
Monique Rothe
Jean Schumann

Person "Rothe" (30)
Vorname "Marcel" (34961)
Name "Rothe" (1736)

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

Marcel Rothe und Software Person-Info