Login / Signup

Formal Description of Programming Concepts: A Software Engineering Viewpoint.

Dines Bjørner
Published in: MFCS (1980)
Keyphrases