9 May
2018
9 May
'18
1:32 p.m.
Hillel Wayne and I would like to propose an Open Space on formal methods in software design. The title would be "Formal methods, TLA+, PlusCal, Alloy, etc." We're not sure yet when we'd have it, whichever one of us registers first will put a time on the board. Jay P.
2379
Age (days ago)
2380
Last active (days ago)
1 comments
2 participants
participants (2)
-
Anna Ossowski
-
Jay Parlar