Featherweight Generic Confinement

A. Potanin, J. Noble, D.G. Clarke, R. Biddle

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original languageUndefined/Unknown
Title of host publicationFOOL 11
Publication statusPublished - 2004

Keywords

  • Wiskunde en Informatica (WIIN)

Cite this