scientific article
zbMath0656.68007MaRDI QIDQ4040791
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
correctnessmonitorcommunicating sequential processesstructured programmingsemantics of programsComputing sciencecollection of selected papers
Searching and sorting (68P10) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Collected or selected works; reprintings or translations of classics (01A75) General topics in the theory of software (68N01) Conference proceedings and collections of articles (00Bxx)
Related Items (1)
This page was built for publication:
