scientific article
From MaRDI portal
Publication:3104005
zbMath1237.68010MaRDI QIDQ3104005
Publication date: 19 December 2011
Full work available at URL: http://opus.bibliothek.uni-augsburg.de/volltexte/2010/1481/
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Applications of universal algebra in computer science (08A70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Continuity as a computational effect ⋮ Unnamed Item ⋮ Fixing Zeno gaps ⋮ Modal algebra and Petri nets
Uses Software
This page was built for publication:
