scientific article; zbMATH DE number 1909430
From MaRDI portal
Publication:4805343
zbMath1013.68119MaRDI QIDQ4805343
Publication date: 13 May 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Automatic synthesis of logical models for order-sorted first-order theories ⋮ Modular Answer Set Programming as a Formal Specification Language
This page was built for publication:
