BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
D.Jovanovic G.Weissenbacher C.Jansen C.Matheja T.N.0001 F.Zuleger
Talks about:
separ (2) logic (2) properti (1) symbol (1) robust (1) reason (1) unifi (1) small (1) model (1) autom (1)

Person: Jens Katelaan

DBLP DBLP: Katelaan:Jens

Contributed to:

ESOP 20172017
IJCAR 20182018

Wrote 2 papers:

ESOP-2017-JansenKMNZ #logic #reasoning #robust
Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic (CJ, JK, CM, TN0, FZ), pp. 611–638.
IJCAR-2018-KatelaanJW #automation #logic #modelling
A Separation Logic with Data: Small Models and Automation (JK, DJ, GW), pp. 455–471.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.