Christian Pilato

From MaRDI portal
Person:6535556

Available identifiers

zbMath Open pilato.christianMaRDI QIDQ6535556

List of research outcomes





PublicationDate of PublicationType
HOLL: program synthesis for higher order logic locking2024-01-23Paper

Research outcomes over time

This page was built for person: Christian Pilato