Inventor

LOGOZZO FRANCESCO

US2 patents

⚠️ This page may combine multiple inventors who share the name “LOGOZZO FRANCESCO”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

MICROSOFT CORP

1 patent

US9904541B2Feb 27, 2018

Semantic baselining

MICROSOFT CORP0 citations29

LOGOZZO FRANCESCO

1 patent

US8453116B2May 28, 2013

Efficient invariant inference for program verification

LOGOZZO FRANCESCO1 citations28