Skip to content

A semantics for lazy assertions.

Olaf Chitil

VenueCPEPM
Year2011
ProceedingsPEPM

Browse the full PEPM paper archive.