scientific article
From MaRDI portal
Publication:3868722
zbMath0431.68006MaRDI QIDQ3868722
M. Huybrechts, J. Huens, K. De Vlaminck, Johan Lewi
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Related Items (2)
Fast deterministic parsers for transition networks ⋮ The ELL(1) parser generator and the error recovery mechanism
This page was built for publication:
