Login / Signup

Generic Models of the Laws of Programming.

Tony Hoare
Published in: Theories of Programming and Formal Methods (2013)
Keyphrases