Towards Symmetry Aware Refinement Checking (Extended Abstract)

Manylion Llyfryddiaeth
Prif Awduron: Moffat, N, Goldsmith, M, Roscoe, B
Fformat: Conference item
Cyhoeddwyd: 2007

Eitemau Tebyg