Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23--25, 2011. Proceedings

From MaRDI portal

(Redirected from Publication:619665)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Verification,_model_checking,_and_abstract_interpretation._12th_international_conference,_VMCAI_2011,_Austin,_TX,_USA,_January_23--25,_2011._Proceedings&oldid=63228327"