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