scientific article
From MaRDI portal
Publication:2848418
zbMath1272.68111MaRDI QIDQ2848418
Guy Broadfoot, Philippa Hopcroft
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105002409
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
Related Items
Process Algebra and Model Checking, Applying string-rewriting to sequence-based specification, Slow Abstraction via Priority, An axiom system for sequence-based specification
