scientific article
From MaRDI portal
Publication:2767034
zbMath0988.68690MaRDI QIDQ2767034
Publication date: 30 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Computing methodologies and applications (68U99) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
Uses Software
This page was built for publication:
