scientific article

zbMath1276.68055MaRDI QIDQ2863858

Tomáš Vojnar, Pavel Erlebach, Milan Češka

Publication date: 4 December 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105052539?np=y

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

zbMATH Keywords

formal verificationprogram analysisdynamic linked data structures

Mathematics Subject Classification ID

Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Generalised multi-pattern-based verification of programs with linear linked structures