Publication:2863831
From MaRDI portal
zbMath1276.68054MaRDI QIDQ2863831
Ana Cavalcanti, J. C. P. Woodcock
Publication date: 4 December 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050905?np=y
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Angelic nondeterminism in the unifying theories of programming, Angelic processes for CSP via the UTP