Verifying Refinement of Probabilistic Contracts Using Timed Automata.

Anton Hampus, Mattias Nyberg

Browse the full TASE paper archive.