Towards Symmetry Aware Refinement Checking (Extended Abstract)

Bibliografische gegevens
Hoofdauteurs: Moffat, N, Goldsmith, M, Roscoe, B
Formaat: Conference item
Gepubliceerd in: 2007