Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Number of items: 1.

Derrick, John and Boiten, Eerke (1999) Specifying component and context specification using Promotion. In: Araki, Keijiro and Galloway, Andrew and Taguchi, Kenji, eds. Proceedings of the 1st International Conference on Integrated Formal Methods. Springer, London, UK, pp. 293-312. ISBN 978-1-85233-107-8. E-ISBN 978-1-4471-0851-1. (doi:10.1007/978-1-4471-0851-1_16) (KAR id:21814)

This list was generated on Tue Dec 24 23:26:45 2024 GMT.