Login / Signup

A Language of Specified Programs.

Andrzej Tarlecki
Published in: Sci. Comput. Program. (1985)
Keyphrases