scientific article

zbMath1272.68040MaRDI QIDQ2848426

Cécile Braunstein, Emmanuelle Encrenaz

Publication date: 26 September 2013

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

Related Items (1)

A formal verification technique for behavioural model-to-model transformations

Uses Software

• MOCHA

This page was built for publication: