DV

Dries Vanoverberghe

Microsoft: 1 patents #24,826 of 40,388Top 65%
📍 Redmond, WA: #5,761 of 8,547 inventorsTop 70%
🗺 Washington: #48,111 of 76,902 inventorsTop 65%
Overall (All Time): #3,149,444 of 4,157,543Top 80%
1
Patents All Time

Issued Patents All Time

Showing 1–1 of 1 patents

Patent #TitleCo-InventorsDate
8387021 Symbolic runtime checking of quantified contracts Nikolai Tillmann, Jonathan Paul de Halleux, Nikolaj S. Bjorner, Wolfram Schulte 2013-02-26