Special issue on program verification, automated debugging and symbolic computation

DOI10.1016/J.JSC.2016.07.005zbMATH Open1360.00099OpenAlexW2462057333MaRDI QIDQ507345FDOQ507345

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

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) 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)

Cited In (4)

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

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)