Special issue on program verification, automated debugging and symbolic computation

DOI10.1016/J.JSC.2016.07.005MaRDI QIDQ507345zbMATH OpenOpenAlexFDO

Authors

Publication date 6 February 2017

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jsc.2016.07.005

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Symbolic computation and algebraic computation (68W30)

Recommendations

• Foreword: Symbolic computation in software science
• Special issue on symbolic computation in software science
• Editorial: Symbolic computation and satisfiability checking
• Automated verification of programs and Web systems
• Selected extended papers of VSTTE 2016

Cited in

(4)

• Foreword: Symbolic computation in software science
• Special issue on the foundations of software science and computation structures
• Editorial: Symbolic computation and satisfiability checking
• Foreword to the special issue on the 2017 static analysis symposium

This page was built for publication: Special issue on program verification, automated debugging and symbolic computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q507345)