Browse by Author/Editor
Group by: Type of Work | No Grouping Jump to: Article Number of items: 1.
ArticleHill, Gillian and Vickers, Steven (2005) A Language for Configuring Multi-level Specifications. Theoretical Computer Science, 351. pp. 146-166. ISSN 0304-3975 |