WG211/M3ODonnell

From WG 2.11
Revision as of 14:50, 16 December 2011 by Walid (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search


John O'Donnell

Title: Equational Reasoning with Circuit Transformations in Hydra
Speaker: John O'Donnell
Abstract:
TBA

Retrieved from "http://mw.hh.se/wg211/index.php?title=WG211/M3ODonnell&oldid=493"