Browse by Person (creator, editor, contributor, etc.)
Up a level |
Jump to: Conference or workshop item
Number of items: 1.
Conference or workshop item
Derrick, John and Boiten, Eerke Albert (1999) Separating component and context specification using Promotion. In: Araki, Keijiro and Galloway, Andrew and Taguchi, Kenji, eds. International Conference on Integrated Formal Methods 1999 (IFM'99). Springer pp. 293-312. ISBN 18523310710. (Full text available) |