scientific article
From MaRDI portal
Publication:2753689
zbMath0973.68039MaRDI QIDQ2753689
Publication date: 11 November 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) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Automated reasoning with restricted intensional sets ⋮ αCheck: A mechanized metatheory model checker ⋮ Anti-patterns for rule-based languages ⋮ Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions
Uses Software
This page was built for publication:
