Login / Signup

John Warner Backus: 3 Dec 1924-17 March 2007.

Dines Bjørner
Published in: Formal Aspects Comput. (2008)
Keyphrases