scientific article; zbMATH DE number 1354108
From MaRDI portal
Publication:4268418
zbMath0928.03030MaRDI QIDQ4268418
Publication date: 28 October 1999
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:
