Shu-Hung You

From MaRDI portal
Person:2233482

Available identifiers

zbMath Open you.shu-hungMaRDI QIDQ2233482

List of research outcomes





PublicationDate of PublicationType
Sound and complete concolic testing for higher-order functions2021-10-18Paper

Research outcomes over time

This page was built for person: Shu-Hung You