• Sign in
  • Sign up
conf.researchr.org / Christoph Matheja
  • ETAPS 2019 profile
  • POPL 2019 profile

Registered user since Tue 22 Jan 2019

Name: Christoph Matheja

Country: Germany

Affiliation: RWTH Aachen University

Contributions

QAPL 2019 Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the QAPL-track
TACAS 2019 Author of Effective Entailment Checking for Separation Logic with Inductive Definitions within the TACAS 2019-track
POPL 2019 Author of Quantitative Separation Logic - A Logic for Reasoning about Probabilistic Pointer Programs within the Research Papers-track

Share
xMon 8 Mar 20:24
using conf.researchr.org (v1.43.2)
Support page
Sign Up