Back to Results
First PageMeta Content
Theoretical computer science / Abstract interpretation / Applied mathematics / Model checking / Program analysis / Abstract management / Formal verification / Software bug / Computer science / Formal methods / Logic in computer science / Patrick Cousot


The 19th International Static Analysis Symposium Deauville, France[removed]September 2012 S AS[removed]
Add to Reading List

Document Date: 2012-07-03 06:17:35

Open Document

File Size: 4,64 MB

Share Result on Facebook

City

Madrid / Chieti-Pescara / Padova / Verimag / Perpignan / /

Company

IBM / GPU / Microsoft / /

Country

Switzerland / Germany / France / United States / Italy / United Kingdom / Spain / India / Denmark / /

Facility

Imperial College / /

IndustryTerm

industrial applications / fundamental tool / software maintenance / analysis model checking new applications / /

Organization

Imperial College London / Program Committee / NYU / Technion / /

Person

Patrick Cousot / Sriram Sankaranarayanan / David Monniaux / Francesca Scozzari / Anders Møller / Andreas Podelski / Markus Müller-Olm / Matthieu Martel / Elvira Albert / Matthew Might / Suresh Jagannathan / Chris Hankin / Gilberto Filè / Eran Yahav / Thomas Wies / /

/

ProvinceOrState

Utah / /

URL

http /

SocialTag