scientific article
From MaRDI portal
Publication:3434489
zbMath1119.03335MaRDI QIDQ3434489
Publication date: 2 May 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Many-valued logic (03B50) Applications of model theory (03C98)
This page was built for publication:
