Martin Schäf und Andreas Podelski - Info zur Person

(1 - 9 von 9

)

Paris 7 (19Martin Schäf

www.martinschaef.de

Martin Schäf. Albert-Ludwigs-Universität Freiburg im Breisgau (2011). Andreas Podelski. Université Paris Diderot - Paris 7 (1989). Maurice Paul Nivat. Martin Schäf. Albert-Ludwigs-Universität Freiburg im Breisgau (2011). Andreas Podelski. Université Paris Diderot - Paris 7 (1989). Maurice Paul Nivat.

Parameterized GUI TestsArchive ouverte HAL

hal.science

von S Arlt · · Zitiert von: 12 — Parameterized GUI Tests. Stephan Arlt (1) , Pedro Borromeo (1) , Martin Schäf (2) , Andreas Podelski (1). Afficher plus de détails. 1 Albert-Ludwigs ... von S Arlt · · Zitiert von: 12 — Parameterized GUI Tests. Stephan Arlt (1) , Pedro Borromeo (1) , Martin Schäf (2) , Andreas Podelski (1). Afficher plus de détails. 1 Albert-Ludwigs ...

Parameterized GUI Tests - Testing Software and Systems - IFIPArchive ouverte HAL

ifip.hal.science

— Parameterized GUI Tests. Stephan Arlt (1) , Pedro Borromeo (1) , Martin Schäf (2) , Andreas Podelski (1). Show details. 1 Albert-Ludwigs — Parameterized GUI Tests. Stephan Arlt (1) , Pedro Borromeo (1) , Martin Schäf (2) , Andreas Podelski (1). Show details. 1 Albert-Ludwigs ...

Classifying Bugs with Interpolants | Request PDFResearchGate

www.researchgate.net

... of Freiburg · Andreas Podelski · University of Freiburg · Martin Schäf at SRI International · Martin Schäf · SRI International · Thomas Wies · Thomas Wies of Freiburg · Andreas Podelski · University of Freiburg · Martin Schäf at SRI International · Martin Schäf · SRI International · Thomas Wies · Thomas Wies.

It's Doomed; We Can Prove ItSpringer

link.springer.com

von J Hoenicke · · Zitiert von: 26 — University of Freiburg,. Jochen Hoenicke, Andreas Podelski, Martin Schäf & Thomas Wies · Microsoft Research, Redmond. K. Rustan M. Leino · EPFL, Switzerland.

PLDI Workshop Honoring Andreas PodelskiPLDI 2024

pldi24.sigplan.org

Daniel Dietsch · University of Freiburg · Germany · Andrey Rybalchenko · Microsoft Research · United Kingdom · Martin Schäf · Amazon Web Services. Daniel Dietsch · University of Freiburg · Germany · Andrey Rybalchenko · Microsoft Research · United Kingdom · Martin Schäf · Amazon Web Services.

podelski65: Festschrift for Andreas Podelski - CFPEasyChair

easychair.org

Papers should not exceed 15 pages LNCS. Committees. Program Committee. Thomas Wies · Martin Schaef · Daniel Dietsch · Andrey Rybalchenko. Contact. For questions ... Papers should not exceed 15 pages LNCS. Committees. Program Committee. Thomas Wies · Martin Schaef · Daniel Dietsch · Andrey Rybalchenko. Contact. For questions ...

Eric Bodden
Jürgen Christ
Georg Gebert

Laurent Vaucheret
Dominik Faber
Thomas Englmann

Personen
Vorname "Martin" (86745)
Name "Schäf" (68)

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

Martin Schäf und Andreas Podelski Person-Info