Björn Sören Metzler und Wehrheim - Info zur Person

(1 - 5 von 7

)

Formal Methods and Software Engineering: 10th International ...

books.google.de

... Compositional Verification Björn Metzler, Heike Wehrheim, and Daniel 104 A. Rajan et al.

dblp: Heike Wehrheim

dblp.uni-trier.de

List of computer science publications by Heike Wehrheim

Suche in der Hochschulbibliografie

diglib.bis.uni-oldenburg.de

Treffer von 48 — von Ingo Brückner ; Björn Metzler ; Heike Wehrheim Details anzeigen. Beteiligte Personen (Uni Oldenburg): Wehrheim, ... › hsb › suche

Search results for "Nord. J. Comput." – FacetedDBLP

dblp.l3s.de

1, Ingo Brückner, Björn Metzler, Heike Wehrheim, Optimizing Slicing of Formal Specifications by Deductive Verification. Search with DBLP WebCrawler · Search ...

Extending a Component Specification Language with Time – topic of...

cyberleninka.org

Björn Metzler; Heike Wehrheim ... Abstract of research paper on Computer and information sciences, author of scientific article — Björn Metzler, Heike Wehrheim.

Alle Infos zum Namen "Björn Sören Metzler"

Verwandte Suchanfragen zu Björn Sören Metzler

Björn Metzler
Jens Köhler
Mirja Kothe

Lisa Metzler
Christian Peters

Person "Metzler" (15)
Vorname "Sören" (5040)
Name "Metzler" (1189)

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