Proceedings - Symposium on Logic in Computer Science

ISSN: 1043-6871
Publisher: Institute of Electrical and Electronics Engineers

Publications (11)

close-button

Types of publications

Journal article
Unpublished / Preprint

Publication year

From
To

Abstract

A Relatively Complete Generic Hoare Logic for Order-Enriched Effects (2013) Goncharov S, Schröder L Conference contribution, Original article
‹ 1 2 ›