| Document Date: 2009-07-21 19:10:53 Open Document File Size: 163,71 KBShare Result on Facebook
Company Microsoft / Verified Software / / / IndustryTerm object-oriented type systems / execution applications / multi-faceted software systems / bit-precise analysis tool / diverse applications / earliest such tools / several related tools / static program analysis tool / software bugs / search space / search behavior / bit-precise static analysis tool / media formats / uncovering software bugs / / Person Havoc / Leonardo de Moura / Nikolaj Bjørner / / Position driver / programmer / / ProgrammingLanguage R / C / Java / C++ / / Technology operating system / operating systems / Java / / URL http /
SocialTag |