scientific article
From MaRDI portal
Publication:3821561
zbMath0668.68023MaRDI QIDQ3821561
Militon Frenţiu, Zoltán Kása, Florian Mircea Boian
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
This page was built for publication:
