Refine Results
Publications
  1. CAV: Computer Aided Verification (5)
  2. POPL: Principles of Programming Languages (4)
  3. ACM Transactions on Computational Logic (TOCL) (3)
  4. Formal Methods in System Design (3)
  5. HSCC: Hybrid Systems - Computation and Control (3)

More Publications

Affiliation
  1. IST Austria (84)
Open access
  1. no (84)
Peer reviewed
  1. yes (43)
  2. no (41)
Invited
  1. no (80)
  2. yes (4)

Results (84)

  • Numerical Software Verification
    Edited conference proceeding