Burkhart Wolff und Universität - Info zur Person

(1 - 11 von 11

)

Eine Theorie generischer Bindungsstrukturen und Peoplepeople.mpi-inf.mpg.de/~uwe/los/ank/ank-wolff.asc

people.mpi-inf.mpg.de

44) Burkhart Wolff (Universitaet Bremen): Eine Theorie generischer Bindungsstrukturen und Substitutionen in HOL Zusammenfassung: Formale Metasprachen ...

Informatik — Wirtschaft — Gesellschaft: 23. GI — Jahrestagung,...

books.google.de

Extended Abstract Bernd Krieg-Brückner, Junbo Liu, Burkhart Wolff, Hui Shi Universität Bremen 1. Introduction The methodology of program development by ...

Abstract Burkhart Wolff

www-sop.inria.fr

UML/OCL - Semantics, proofs and applications. Burkhart Wolff. Institut für Informatik, Universität Freiburg. 18 Juillet 2003, 14h30, E Résumé/Abstract:.

Publications - Universität Augsburg

www.uni-augsburg.de

WebMatthias P. Krieger, Alexander Knapp and Burkhart Wolff Automatic and efficient simulation of operation contracts. In Eelco Visser and Jaakko Järvi (Ed.). Proceedings of …

Institut für Rechnerarchitektur und Parallelrechner - Leutewww-wjp.cs.uni-sb.de › leute › individuum

www-wjp.cs.uni-sb.de

Prof. Dr. Burkhart Wolff. Universität des Saarlandes, Gebäude E1 3. FR 6.2 Informatik, Raum Postfach , Tel: +49 (0) D

A Proposal for a Formal OCL Semantics in Isabelle/HOL | SpringerLink

link.springer.com

(7); Burkhart Wolff · -freiburg.de (7). Author Affiliations. 7. Institut für Informatik, Albert-Ludwigs-Universität, Freiburg ...

Alle Infos zum Namen "Burkhart Wolff"

Burkhart Wolff - Google Akademik Alıntılar

scholar.google.com.tr

Burkhart Wolff. Professor für Informatik, Universität Paris-Sud. lri.fr üzerinde doğrulanmış e-posta adresine sahip. Formal MethodsFormal VerificationFormal ...

Burkhart Wolff - Google Scholar Citations

scholar.google.ch

Burkhart Wolff. Professor für Informatik, Universität Paris-Sud · Formal Methods, Formal Verification, Formal Testing, Software-Engineering, Modelling. Bestätigte ...

Burkhart Wolff - Trích dẫn của Google Scholarscholar.google.it › citations

scholar.google.it

Ana CavalcantiUniversity of YorkEmail được xác minh tại cs.york.ac.uk. Xem tất cả. Theo dõi. Burkhart Wolff. Professor für Informatik, Universität Paris-Sud.

Theorem Proving in Higher Order Logics - CiteSeerX

citeseerx.ist.psu.edu

von D Basin · · Zitiert von: 10 — by David Basin , Burkhart Wolff (eds.) , Eth Zentrum , Burkhart Wolff , Universität Freiburg. Citations: self ... › viewdoc

‪Burkhart Wolff‬ - ‪Google Scholar‬

scholar.google.lv

‪Professor für Informatik, Universität Paris-Sud‬ - ‪‪Citēts reizes‬‬ - ‪Formal Methods‬ - ‪Formal Verification‬ - ‪Formal Testing‬ -...

Verwandte Suchanfragen zu Burkhart Wolff

Martin Gogolla
Wolfram Schulte
Christoph Lüth

Roland Lachmayer
Steffen Wedler
Bettina Wedler

Person "Wolff" (58)
Vorname "Burkhart" (284)
Name "Wolff" (4951)

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

Burkhart Wolff und Universität Person-Info