scientific article
From MaRDI portal
Publication:3336677
zbMath0546.68016MaRDI QIDQ3336677
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
systems of algorithmic algebrasstructural programmingprogram logicslogical aspects of synthesis of structured parallel programs
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
This page was built for publication:
