scientific article
From MaRDI portal
Publication:3707379
zbMath0584.68034MaRDI QIDQ3707379
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
consistencypersistencyspecificationsoverloadingerror handlingparameter passingparametrized data typesautomated proof proceduressubsorts
Related Items (1)
This page was built for publication: