User-guided Predicate Abstraction of TLA+ Specifications / von Thanh Hai Tran. Wien, 2016
Inhalt