VL

Vincent Laviron

Microsoft: 1 patents #24,826 of 40,388Top 65%
📍 Labège, FR: #18 of 31 inventorsTop 60%
Overall (All Time): #3,161,116 of 4,157,543Top 80%
1
Patents All Time

Issued Patents All Time

Showing 1–1 of 1 patents

Patent #TitleCo-InventorsDate
8453116 Efficient invariant inference for program verification Francesco Logozzo 2013-05-28