Symbolic methods for the verification of software models / by Magdalena Widl. Wien, 2016
Inhalt