Abstraction Refinement for Probabilistic Software

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Colleges, School and Institutes

Details

Original languageEnglish
Title of host publicationVerification, Model Checking, and Abstract Interpretation
Subtitle of host publication10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings
EditorsND Jones, M Muller-Olm
Publication statusPublished - 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume5403
ISSN (Print)0302-9743