scientific article
From MaRDI portal
Publication:3528929
zbMath1160.68435MaRDI QIDQ3528929
Klaus Schneider, Adrian Willenbücher, Jens Brandt
Publication date: 17 October 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Computer system organization (68M99)
This page was built for publication:
