Skip to main content

Quantitative Assume Guarantee Synthesis

Shaull Almagor‚ Orna Kupferman‚ Jan Oliver Ringert and Yaron Velner

Book Title
Computer Aided Verification − 29th International Conference‚ CAV 2017‚ Heidelberg‚ Germany‚ July 24−28‚ 2017‚ Proceedings‚ Part II
Pages
353–374
Year
2017