scientific article
From MaRDI portal
Publication:3863029
zbMath0427.68007MaRDI QIDQ3863029
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
This page was built for publication: