| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| 8 |      | Gillian Hill, Steven Vickers: A language for configuring multi-level specifications. Theor. Comput. Sci. 351(2): 146-166 (2006) |
| 2004 | ||
| 7 | | Gillian Hill, Steven Vickers: A Language for Configuring Multi-level Specifications. AMAST 2004: 196-210 |
| 2001 | ||
| 6 | | Steven Vickers, Gillian Hill: Presheaves as Configured Specifications. Formal Asp. Comput. 13(1): 32-49 (2001) |
| 1997 | ||
| 5 | | Gillian Hill: An Architecture for Complex Systems. EUROCAST 1997: 189-201 |
| 1995 | ||
| 4 | | Gillian Hill: A Logical Approach to System Construction. EUROCAST 1995: 30-47 |
| 1994 | ||
| 3 | | Gillian Hill: The Configuration of Complex Systems. CAST 1994: 46-64 |
| 2 |  | Gillian Hill: Constructing Specifications and Modules in a KZ-doctrine. Theory and Formal Methods 1994: 217-233 |
| 1993 | ||
| 1 | | Gillian Hill: Category Theory for the Configuration of Complex Systems. AMAST 1993: 193-200 |
| 1 | Steven J. Vickers (Steven Vickers) | [6] [7] [8] |
Data released under the ODC-BY 1.0 license — See also our legal information page