Publication:2845503
From MaRDI portal
zbMath1271.68092MaRDI QIDQ2845503
Nishant Sinha, Michael Theobald, Flavio Lerda
Publication date: 30 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105800088
68Q60: Specification and verification (program logics, model checking, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)