Corrigendum: Unrealizability Logic

Open Webpage

Jinwoo Kim, Loris D'Antoni, Thomas Reps

Published: 08 Jan 2026, Last Modified: 19 Jan 2026Proceedings of the ACM on Programming LanguagesEveryoneRevisionsCC BY-SA 4.0
External IDs:doi:10.1145/3771762