Publication:3104005
From MaRDI portal
zbMath1237.68010MaRDI QIDQ3104005
Publication date: 19 December 2011
Full work available at URL: http://opus.bibliothek.uni-augsburg.de/volltexte/2010/1481/
03B70: Logic in computer science
08A70: Applications of universal algebra in computer science
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Uses Software