1
0
0
(1 - 24 von 26
)
dblp: Thorsten Bormer
dblp.uni-trier.de
List of computer science publications by Thorsten Bormer. refinements active! zoomed in on ?? of ?? records. dismiss all constraints. view refined list in
Thorsten Bormer - dblpdblp.org › Persons
dblp.org
· Thorsten Bormer: Advancing Deductive Program-Level Verification for Real-World Application: Lessons Learned from an Industrial Case Study.
2009 — Universität Koblenz · Landau
www.uni-koblenz-landau.de
On Essential Program Annotations and Completeness of Verifying Compilers Bernhard Beckert, Thorsten Bormer, Vladimir Klebanov Proceedings, Workshop on Verified ...
dblp: Formal Verification of Object-Oriented Software 2011
dblp.uni-trier.de
Bibliographic content of Formal Verification of Object-Oriented Software 2011
Search results for "Wojciech Mostowski" – FacetedDBLP
dblp.l3s.uni-hannover.de
Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude March ...
dblp: Nadia Polikarpova
dblp.uni-trier.de
List of computer science publications by Nadia Polikarpova
dblp: Marc Brockschmidt
dblp.uni-trier.de
List of computer science publications by Marc Brockschmidt
KeY Project: Integrated Deductive Software Design
i12www.iti.uni-karlsruhe.de
Thorsten Bormer, Managing a changing rule base. Richard Bubel, Can we make use of ADTs in KeY? Hajo Daniels, Demo of the "new" GF editor for OCL.
Index of /~kirsch/Feeds/T/THUni Trier
cip.uni-trier.de
... Thorsten Bohnenberger.xml · Thorsten Bojer.xml · Thorsten Bomberg.xml · Thorsten Bormer.xml · Thorsten Boseniuk.xml · Thorsten Brants.xml ... › ~kirsch › Feeds
Secure Shell (ssh) Seminar: Simulationen mit User Mode ...Uni-koblenz.de
userpages.uni-koblenz.de
Thorsten Bormer. 1. Universität Koblenz-Landau . 1 Einführung. Unter SSH versteht man sowohl ein Protokoll, dessen Ziel es ist, ... › ssh › ssh-aus
dblp: Christoph Baumann
dblp.uni-trier.de
List of computer science publications by Christoph Baumann
dblp: Christoph Scheben
dblp.uni-trier.de
List of computer science publications by Christoph Scheben
Search results for "FoVeOOS" – FacetedDBLP
dblp.l3s.de
Ferruccio Damiani(2) Ina Schaefer(2) Marc Brockschmidt(2) Olaf Owe(2) Peter H. Schmitt(2) Rudolf Schlatte(2) Silvia Lizeth Tapia Tarifa(2) Thorsten Bormer(2)
Verwandte Suchanfragen zu Thorsten Bormer
| Radu Grigore Carsten Schürmann Michael Kirsten | Holger Blasum Stephan Gocht Daniel Bruns | Markus Wagner Vladimir Klebanov Christoph Baumann |
Personen Vorname "Thorsten" (22885) Name "Bormer" (4) |
sortiert nach Relevanz / Datum