![]() |
| 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] |