George Stergiopoulos, Panagiotis Katsaros, Dimitris Gritzalis. Automated Detection of Logical Errors in Programs. In Javier Lopez, Indrajit Ray, Bruno Crispo, editors, Risks and Security of Internet and Systems - 9th International Conference, CRiSIS 2014, Trento, Italy, August 27-29, 2014, Revised Selected Papers. Volume 8924 of Lecture Notes in Computer Science, pages 35-51, Springer, 2014. [doi]
@inproceedings{StergiopoulosKG14,
title = {Automated Detection of Logical Errors in Programs},
author = {George Stergiopoulos and Panagiotis Katsaros and Dimitris Gritzalis},
year = {2014},
doi = {10.1007/978-3-319-17127-2_3},
url = {http://dx.doi.org/10.1007/978-3-319-17127-2_3},
researchr = {https://researchr.org/publication/StergiopoulosKG14},
cites = {0},
citedby = {0},
pages = {35-51},
booktitle = {Risks and Security of Internet and Systems - 9th International Conference, CRiSIS 2014, Trento, Italy, August 27-29, 2014, Revised Selected Papers},
editor = {Javier Lopez and Indrajit Ray and Bruno Crispo},
volume = {8924},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-17126-5},
}