Matches in DBpedia 2016-04 for { <http://www.mit.edu/~cousot/MintaMartinLecture/> ?p ?o }
Showing triples 1 to 6 of
6
with 100 triples per page.
- MintaMartinLecture accessdate "2008-09-15".
- MintaMartinLecture first "Patrick M.".
- MintaMartinLecture isCitedBy Jerome_C._Hunsaker_Visiting_Professor_of_Aerospace_Systems.
- MintaMartinLecture last "Cousot".
- MintaMartinLecture title "Minta Martin Lecture: "Abstract Interpretation–based Formal Verification of Complex Computer Systems"".
- MintaMartinLecture url "http://www.mit.edu/~cousot/MintaMartinLecture/".