scientific article
From MaRDI portal
Publication:2845504
zbMath1271.68097MaRDI QIDQ2845504
Matthew B. Dwyer, Robby, Radu Iosif, John Hatcliff
Publication date: 30 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610580009X
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
TASS: the toolkit for accurate scientific software, A dynamic logic for deductive verification of multi-threaded programs
Uses Software
Cites Work