Login / Signup

Modular termination verification with a higher-order concurrent separation logic (Intermediate report).

Justus FasseBart Jacobs
Published in: CoRR (2022)
Keyphrases