Sunbeom So

From MaRDI portal
Person:5233250

Available identifiers

zbMath Open so.sunbeomMaRDI QIDQ5233250

List of research outcomes





PublicationDate of PublicationType
Synthesizing imperative programs from examples guided by static analysis2019-09-16Paper

Research outcomes over time

This page was built for person: Sunbeom So