Inventor
FAHNDRICH MANUEL ALFRED
US5 patents
⚠️ This page may combine multiple inventors who share the name “FAHNDRICH MANUEL ALFRED”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
MICROSOFT CORP
3 patentsUS7526755B2Apr 28, 2009
Plug-in pre- and postconditions for static program analysis
MICROSOFT CORP27 citations89
US7421680B2Sep 2, 2008
Persisted specifications of method pre-and post-conditions for static checking
MICROSOFT CORP36 citations89
US7584458B2Sep 1, 2009
Source code annotation language
MICROSOFT CORP18 citations79