Publications
Found 2 results
Filters: Author is Miltiadis Siavvas [Clear All Filters]
.
2019. Optimum checkpoints for programs with loops. Simulation Modelling Practice and Theory. 97
.
2018. Static Analysis-Based Approaches for Secure Software Development. 1st International Symposia on Computer and Information Sciences, ISCIS 2018.
