scientific article
From MaRDI portal
Publication:2757842
zbMath0978.03524MaRDI QIDQ2757842
Publication date: 4 December 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication:
