Re:Leslie Lamport: Video course on TLA+
by ahelwer on Tuesday March 21, 2017 @12:28AM
(#13919880)
Only for Microsoft employees, unfortunately! If you work at Microsoft, send me an email (alias is same as username here) and I'll get you added to the TLA+ Outlook group for future course announcements and such.
[ Parent
| on HN ]
Re:Leslie Lamport: Video course on TLA+
by scvalencia on Tuesday March 21, 2017 @01:19AM
(#13920039)
That's fantastic. Would be a great contribution to people interested in formal methods. How's your email?