scientific article
From MaRDI portal
Publication:2766780
zbMath0988.68034MaRDI QIDQ2766780
Antonio J. Fernández, Patricia M. Hill
Publication date: 22 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication: