Skip to content
cs-conference-ranking.org

Owicki/Gries in Isabelle/HOL.

Tobias Nipkow, Leonor Prensa Nieto

VenueBFASE
Year1999
ProceedingsFASE
DBLP recordconf/fase/NipkowN99 ↗

Browse the full FASE paper archive.