Login / Signup

From Requirements to their Formalization - A Case Study on the Stepwise Development of Algebraic Specifications.

Helmuth PartschAlfred Laut
Published in: Fachtagung über Programmiersprachen (1982)
Keyphrases