TY  - RPRT
A1  - Schellhorn, Gerhard
A1  - Ahrendt, W.
T1  - Verification of a prolog compiler - first steps with KIV
Y1  - 2019
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/64463
UR  - https://www.uni-ulm.de/index.php?id=40299
PB  - Universität Ulm
CY  - Ulm
ER  -