RiSE

71 Entries

  • This Week
  • This Month
  • All Time
  • Language(s)
  • TechTalk - Research in Software Engineering
    57 minutes, 35 seconds
    TechTalk - Research in Software Engineering
    Jun 06, 2011 at 11:30 PM Comments 3

    Avg Rating: 0

    by Nikolaj Bjorner, Senior Researcher, Microsoft Research The Research in Software Engineering (RiSE) group at Microsoft Research in Redmond works on several dimensions related to software engineering, including logical foundations, program verification, testing, analysis, empirical software…
Creative Commons License

© 2013 Microsoft. Except where designated as licensed by
Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License,
Microsoft reserves all rights associated with the materials on this site.