Automated Learning of Probabilistic Assumptions for Compositional Reasoning
L. Feng‚ M. Kwiatkowska and D. Parker
Details
| 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 |
Links
Related pages
|
People |