scientific article; zbMATH DE number 1434122
From MaRDI portal
Publication:4947593
zbMath0945.68018MaRDI QIDQ4947593
Publication date: 25 April 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Related Items (3)
Components and acyclicity of graphs. An exercise in combining precision with concision ⋮ On difunctions ⋮ Extended Static Checking by Calculation Using the Pointfree Transform
This page was built for publication:
