scientific article
From MaRDI portal
Publication:3707345
zbMath0584.68012MaRDI QIDQ3707345
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68Nxx)
Related Items (3)
Forced termination of loops ⋮ Sequential and parallel enumeration ⋮ Translating Java for multiple model checkers: The Bandera back-end
This page was built for publication: