scientific article
From MaRDI portal
Publication:3521797
zbMath1161.68574MaRDI QIDQ3521797
Publication date: 26 August 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: