Stelios Sidiroglou-Douskos

From MaRDI portal
Person:5408439

Available identifiers

zbMath Open sidiroglou-douskos.steliosMaRDI QIDQ5408439

List of research outcomes





PublicationDate of PublicationType
Sound input filter generation for integer overflow errors2014-04-10Paper

Research outcomes over time

This page was built for person: Stelios Sidiroglou-Douskos