Hans-Dieter A. Hiep

From MaRDI portal
Person:6185825

Available identifiers

zbMath Open hiep.hans-dieter-aMaRDI QIDQ6185825

List of research outcomes





PublicationDate of PublicationType
The logic of separation logic: models and proofs2024-05-17Paper
Axiomatic characterization of trace reachability for concurrent objects2024-04-19Paper
Integrating ADTs in KeY and their application to history-based reasoning about collection2024-01-08Paper
Integrating ADTs in KeY and Their Application to History-Based Reasoning2023-04-21Paper

Research outcomes over time

This page was built for person: Hans-Dieter A. Hiep

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