WG211/M3ODonnell
From WG 2.11
Jump to navigationJump to search
John O'Donnell
Title:
Equational Reasoning with Circuit Transformations in Hydra
Speaker: John O'Donnell
Abstract:
TBA
- This page was last edited on 16 December 2011, at 14:50.
- Privacy policy
- About WG 2.11
- Disclaimers