Login / Signup

Natural mathematical texts vs. programs.

Tamás GergelyKonstantin Vershinin
Published in: Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Keyphrases