de.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Disclaimer Contact us Login
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Conference Paper

Precise Thread-Modular Verification

MPS-Authors
http://pubman.mpdl.mpg.de/cone/persons/resource/persons44977

Malkis,  Alexander
Programming Logics, MPI for Informatics, Max Planck Society;

http://pubman.mpdl.mpg.de/cone/persons/resource/persons45201

Podelski,  Andreas
Programming Logics, MPI for Informatics, Max Planck Society;

http://pubman.mpdl.mpg.de/cone/persons/resource/persons45328

Rybalchenko,  Andrey
Programming Logics, MPI for Informatics, Max Planck Society;

Locator
There are no locators available
Fulltext (public)
There are no public fulltexts available
Supplementary Material (public)
There is no public supplementary material available
Citation

Malkis, A., Podelski, A., & Rybalchenko, A. (2007). Precise Thread-Modular Verification. In G. Filé, & H. Riis Nielson (Eds.), Static Analysis: 14th International Symposium, SAS 2007 (pp. 218-232). Berlin, Germany: Springer.


Cite as: http://hdl.handle.net/11858/00-001M-0000-000F-205C-2
Abstract
There is no abstract available