scientific article

zbMath1270.68161MaRDI QIDQ2844824

Matthias Anlauff, Asuman Sünbül

Publication date: 19 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105804906

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: