WG211/M3ODonnell

From WG 2.11
Revision as of 12:06, 12 December 2011 by Admin (talk | contribs) (1 revision)
(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=153"