Towards Symmetry Aware Refinement Checking (Extended Abstract)

Détails bibliographiques
Auteurs principaux: Moffat, N, Goldsmith, M, Roscoe, B
Format: Conference item
Publié: 2007