scientific article
From MaRDI portal
Publication:3687682
zbMath0571.68003MaRDI QIDQ3687682
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
program synthesisformal specificationsprogram inferenceAutomatic computer programmingautomatic construction of programsformal methodologies
This page was built for publication: