Travelled to:
1 × USA
Collaborated with:
S.Krishnamurthi K.Fisler D.J.Dougherty
Talks about:
implement (1) transmut (1) alchemi (1) specif (1) alloy (1) base (1)
Person: Daniel Yoo
DBLP: Yoo:Daniel
Contributed to:
Wrote 1 papers:
- FSE-2008-KrishnamurthiFDY #alloy #implementation #named #specification
- Alchemy: transmuting base alloy specifications into implementations (SK, KF, DJD, DY), pp. 158–169.