微软研究院博客
加载中...
Microsoft researchers have figured out a way to build software systems spanning many computers that can be proven free of bugs, a significant feat in the decades-long quest to create perfect software.
人员
Chris Hawblitzel
Senior Principal Researcher
Jay Lorch
Senior Principal Researcher
Srinath Setty
Principal Researcher