Microsoft Research Community
Welcome to Microsoft Research Community
Sign in
|
Join
|
Rules
Search
Home
Blogs
Forums
Nikolaj Bjorner
Member since:
11-20-2007
Last visited:
08-04-2008
Timezone:
-8.00 GMT
Location:
MSR
Occupation:
Researcher
Total Posts:
4
Post Rank:
4
Options
View Nikolaj Bjorner's web site
Search for posts by Nikolaj Bjorner
About Nikolaj Bjorner
Check out http://research.microsoft.com/projects/z3
Recommended Reading
Recent Posts
©2007 Microsoft Corporation. All rights reserved.
Terms of Use
|
Trademarks
|
Privacy Statement
|
Feedback