Login / Signup

Logical Relations and Nondeterminism.

Martin Hofmann
Published in: Software, Services, and Systems (2015)
Keyphrases