Unrealizability Logic

Open Webpage

Jinwoo Kim, Loris D'Antoni, Thomas Reps

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