"Fully Automatic Verifcation and Error Detection for Parameterized ..."

Tiziana Margaria (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics