scientific article; zbMATH DE number 5173924
From MaRDI portal
Publication:5294160
zbMath1123.68071MaRDI QIDQ5294160
Eugenia Ternovska, Calvin Kai Fan Tang
Publication date: 24 July 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)
Related Items (1)
Uses Software
This page was built for publication:
