Specification and Verification with the TLA

Igor Konnov, Markus Kuppe, Stephan Merz

Browse the full ISoLA paper archive.