Philipp W. Kutter

From MaRDI portal
Person:225100

Available identifiers

zbMath Open kutter.philipp-wWikidataQ102314083 ScholiaQ102314083MaRDI QIDQ225100

List of research outcomes





PublicationDate of PublicationType
Automated generation of strictly conforming tests based on formal specification of dynamic semantics of the programming language2005-09-05Paper
Generating an action notation environment from Montages descriptions2002-04-09Paper
https://portal.mardi4nfdi.de/entity/Q27537132001-11-11Paper
https://portal.mardi4nfdi.de/entity/Q27299052001-10-23Paper
https://portal.mardi4nfdi.de/entity/Q45205042001-02-26Paper
https://portal.mardi4nfdi.de/entity/Q45205012001-02-26Paper

Research outcomes over time

This page was built for person: Philipp W. Kutter

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