designed for deriving correct-by-construction implementations from legislative texts
Catala Lang
Created
Created
2023 Sep 18 15:3Editor
Editor
Seonglae ChoCreator
Creator
Seonglae ChoEdited
Edited
2023 Sep 18 15:4Refs
Refs
Seonglae ChoSeonglae Cho