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