Chair for Foundations of Software Reliability and Theoretical Computer Science
Home
Contact
Teaching
People
Publications
Student Projects
Research
Help
Publications to appear
Javier Esparza
and
Andreas Gaiser
.
Probabilistic abstractions with arbitrary domains
. In
Proceedings of the 18th International Static Analysis Symposion (SAS)
, Venice, Italy, To appear.
Info
Tech report version
Contact
