scientific article
From MaRDI portal
Publication:2863859
zbMath1276.68049MaRDI QIDQ2863859
Publication date: 4 December 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105052540?np=y
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Program verification with interacting analysis plugins ⋮ Falsifying Safety Properties Through Games on Over-approximating Models
This page was built for publication:
