Login / Signup

Set-Theoretic Models of Computations.

Jean-Raymond Abrial
Published in: Theories of Programming and Formal Methods (2013)
Keyphrases