1 paper
Zoe Paraskevopoulou, Anja PetkoviÄ Komel, Sophie Rain +2
This technical report contains the formal definitions and metatheory for the act specification and verification language. It documents the syntax, the operational pointer semantics…