1
0
0
(1 - 25 von 27
)
Softwareentwicklung und Verifikation - Seminar: Aktuelle ...www.uni-muenster.de › teaching › seminar
www.uni-muenster.de
Jochen Hoenicke, Rupak Majumdar, Andreas Podelski http://dl.acm.org/authorize?N On verifying causal consistency. Ahmed Bouajjani, Constantin Enea, ...
dblp: BibTeX records: Jochen Hoenicke
dblp.uni-trier.de
List of computer science publications by BibTeX records: Jochen Hoenicke
Jochen Hoenicke - dblpdblp.org › Persons
dblp.org
HoenickeS18. Jochen Hoenicke , Tanja Schindler: Efficient Interpolation for the Theory of Arrays.
dblp: Matthias Heizmann
dblp.uni-trier.de
List of computer science publications by Matthias Heizmann
Institute of Theoretical Computer Science - TU Braunschweig
www.tcs.cs.tu-bs.de
Website of Prof. Dr. Roland Meyer's Institute for Theoretical Computer Science at TU Braunschweig
Institute of Theoretical Computer Science - TU BraunschweigTechnische Universität Braunschweig
tcs.cs.tu-bs.de
Fundamenta Informaticae, Model Checking Duration Calculus: A Practical Approach. , by Roland Meyer, Johannes Faber, Jochen Hoenicke, ...
Jochen HoenickeUniversität Oldenburg
www.informatik.uni-oldenburg.de
Name: Jochen Hoenicke. Adresse: Oldenburg. Telefon (Uni):, Telefon (privat):, E-Mail: Jochen.
Suche in der Hochschulbibliografiediglib.bis.uni-oldenburg.de › hsb › suche
diglib.bis.uni-oldenburg.de
Treffer von 7 · von Jochen Hoenicke ; Ernst-Rüdiger Olderog ; Andreas Podelski ... von Roland Meyer ; Johannes Faber ; Jochen Hoenicke.
KOPS.Ultimate Automizer and the Search for Perfect Interpolantskops.uni-konstanz.de › handle
kops.uni-konstanz.de
HEIZMANN, Matthias, Yu-Fang CHEN, Daniel DIETSCH, Marius GREITSCHUS, Jochen HOENICKE, Yong LI, Alexander NUTZ, Betim MUSA, Christian SCHILLING, ...
Einführung in die Informatik (Vorlesung) — Software Engineering
swt.informatik.uni-freiburg.de
Dozenten, Dr. Jochen Hoenicke, Prof Ratz, Jens Scheffler, Detlef Seese und Jan Wiesenberger, Progammieren in Java, Carl Hanser Verlag GmbH & Co.
Es fehlt: akademie
dblp: Requirements Engineering, Volume 17
dblp.org
Bibliographic content of Requirements Engineering, Volume 17
sortiert nach Relevanz / Datum