2 ms·
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+ Outl
by ahelwer 10y ago
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.
- scvalencia 10y agoThat's fantastic. Would be a great contribution to people interested in formal methods. How's your email?