Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben

Journal of Automated Reasoning

Ausgabe 4/2019

Special Issue: Selected Extended Papers of ITP 2015

Inhalt (5 Artikel)

Selected Extended Papers of ITP 2015: Preface

Xingyuan Zhang, Christian Urban

A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data

Frédéric Besson, Sandrine Blazy, Pierre Wilke

Refinement to Imperative HOL

Peter Lammich

Refinement to Certify Abstract Interpretations: Illustrated on Linearization for Polyhedra

Sylvain Boulmé, Alexandre Maréchal

A Consistent Foundation for Isabelle/HOL

Ondřej Kunčar, Andrei Popescu

Mär 19
Ausgabe: 3/2019
Jun 19
Ausgabe: 1/2019

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner

    Bildnachweise