On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep

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"