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.)