Automated Learning of Probabilistic Assumptions for Compositional Reasoning
L. Feng‚ M. Kwiatkowska and D. Parker
Book Title
Proc. 14th International Conference on Fundamental Approaches to Software Engineering (FASE'11)
Editor
D. Giannakopoulou and F. Orejas
Pages
2–17
Publisher
Springer
Series
LNCS
Volume
6603
Year
2011