Tools and algorithms for the construction and analysis of systems. 20th international conference, TACAS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5--13, 2014. Proceedings
From MaRDI portal
Publication:2441804
DOI10.1007/978-3-642-54862-8zbMath1301.68010OpenAlexW2295513474MaRDI QIDQ2441804
No author found.
Publication date: 28 March 2014
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-54862-8
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of computing (68Qxx)
Related Items
Characterizing positively invariant sets: inductive and topological methods ⋮ On temporal logics with data variable quantifications: decidability and complexity ⋮ Horn clauses as an intermediate representation for program analysis and transformation ⋮ Satisfiability of general intruder constraints with and without a set constructor ⋮ Translating Xd-C programs to MSVL programs