Quantitative properties of software systems: specification, verification, and synthesis.

Srdan Krstic

Browse the full ICSE paper archive.