Microsoft Open Source Challenge
86 views
Skip to first unread message
Stephan Merz
Mar 24, 2016, 6:46:25 AM3/24/16
to tla...@googlegroups.com
Dear all,
just wanted to draw your attention to the Microsoft Open Source Challenge (http://research.microsoft.com/en-us/projects/opensource/) that may be of interest to some people on the list. The TLA+ tools are eligible, among many others.
Stephan
just wanted to draw your attention to the Microsoft Open Source Challenge (http://research.microsoft.com/en-us/projects/opensource/) that may be of interest to some people on the list. The TLA+ tools are eligible, among many others.
Stephan
Reply all
Reply to author
Forward
0 new messages