Anastasios Stasinopoulos is an author at University of Piraeus specializing in program analysis, software security, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSoftware SecurityFormal VerificationSoftware Engineering
Publications per year
2018–2018
1
1
Rows per page
1–1 of 1