Refine Results
Publications
  1. Information and Computation (10)
  2. CAV: Computer Aided Verification (8)
  3. LICS: Logic in Computer Science (8)
  4. CONCUR: Concurrency Theory (7)
  5. Logical Methods in Computer Science (7)

More Publications

Affiliation
  1. IST Austria (172)
Peer reviewed
  1. yes (172)
Invited
  1. no (172)

Results (172)

  • Quantitative analysis of smart contracts
    Conference paper