User-guided predicate abstraction of TLA+ specifications / von Thanh Hai Tran. Wien, 2016
Inhalt