Login / Signup

Being and Change: Reasoning About Invariance.

Frank S. de BoerStijn de Gouw
Published in: Correct System Design (2015)
Keyphrases