Modelling Jackson's programming method

DOI10.1016/0167-6423(93)90013-FzbMath0781.68036OpenAlexW2083680638MaRDI QIDQ1261491

F. Vivarès

Publication date: 16 September 1993

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(93)90013-f

zbMATH Keywords

specificationdiagramssequential programsJackson's trees

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

This page was built for publication: Modelling Jackson's programming method