Login / Signup

Nonlocal Flow of Control and Kleene Algebra with Tests.

Dexter Kozen
Published in: LICS (2008)
Keyphrases