![](/img/cover-not-exists.png)
Replication and Abstraction: Symmetry in Automated Formal Verification
Wahl, Thomas, Donaldson, AlastairVolume:
2
Language:
english
Journal:
Symmetry
DOI:
10.3390/sym2020799
Date:
April, 2010
File:
PDF, 552 KB
english, 2010