scientific article
From MaRDI portal
Publication:3687690
zbMath0571.68010MaRDI QIDQ3687690
No author found.
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
abstract data typesprogram controlalgebra of data domaininformation environmentinvariants of programs
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
This page was built for publication:
