2006 | ||
---|---|---|
3 | David E. Lightfoot, Clemens A. Szyperski: Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings Springer 2006 | |
2003 | ||
2 | EE | Hong Zhu, David E. Lightfoot: Caste: A Step beyond Object Orientation. JMLC 2003: 59-62 |
1 | EE | Christine Poerschke, David E. Lightfoot, John L. Nealon: A Formal Specification in B of a Medical Decision Support System. ZB 2003: 497-512 |
1 | John L. Nealon | [1] |
2 | Christine Poerschke | [1] |
3 | Clemens A. Szyperski | [3] |
4 | Hong Zhu | [2] |