scientific article
From MaRDI portal
Publication:3528928
zbMath1160.68440MaRDI QIDQ3528928
Rolf Drechsler, Daniel Große, Robert Wille, Ulrich Kühne
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)
Related Items (1)
This page was built for publication:
