A new proof rule for almost-sure termination

Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Joost-Pieter Katoen

Research output: Contribution to journalArticlepeer-review

Search results