scientific article
From MaRDI portal
Publication:3482815
zbMath0703.68025MaRDI QIDQ3482815
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
software designgraphicscomputer-aided designprogram correctnessautomatic programmingflowchartingrigorous programming
Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
This page was built for publication: