A language for formal problem specification

DOI10.1145/359897.359904zbMath0364.68009OpenAlexW2031561037MaRDI QIDQ4139637

Irene Greif

Publication date: 1977

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/359897.359904

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (max. 100)

Implementation approach to parallel systems

This page was built for publication: A language for formal problem specification