Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral -continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team.
 
Replication and Abstraction: Symmetry in Automated Formal Verification.
File(s)
wd10.pdf (678.2 KB)
Published version
Author(s)
Wahl, T
Donaldson, AF
Type
Journal Article
Date Issued
2010-06-30
URI
DOI
Start Page
799
End Page
847
Journal / Book Title
Symmetry
Volume
2
Copyright Statement
This is an open access article distributed under the Creative Commons Attribution License (CC BY) which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Identifier
2