Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

Journal of Automated Reasoning

Issue 4/2016

Content (2 Articles)

Reasoning About Algebraic Data Types with Abstractions

Tuan-Hung Pham, Andrew Gacek, Michael W. Whalen

Open Access

A Formal C Memory Model for Separation Logic

Robbert Krebbers

Oct 16
Issue: 3/2016
Jan 17
Issue: 1/2017
Special Issue: Selected Extended Papers of IJCAR 2014

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner

    Image Credits