scientific article

zbMath1272.68358MaRDI QIDQ2848686

Sean McLaughlin, Tom Melham, Sava Krstić, Jim Grundy

Publication date: 26 September 2013

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

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

Mathematics Subject Classification ID

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

Related Items (1)

Mothers of Pipelines

This page was built for publication: