Wonhong Nam

From MaRDI portal
Person:650905

Available identifiers

zbMath Open nam.wonhongMaRDI QIDQ650905

List of research outcomes





PublicationDate of PublicationType
Synthesis of interface specifications for Java classes2017-07-14Paper
Symbolic computational techniques for solving games2013-08-30Paper
On the computational complexity of behavioral description-based web service composition2011-12-07Paper
Learning-Based Symbolic Assume-Guarantee Reasoning with Automatic Decomposition2008-09-04Paper
Automatic symbolic compositional verification by learning assumptions2008-07-30Paper
Computer Aided Verification2006-01-10Paper

Research outcomes over time

This page was built for person: Wonhong Nam

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:650905&oldid=5913792"
Powered by MediaWiki