Patterns for Refinement Automation

  1. Lookup NU author(s)
  2. Dr Alexei Iliasov
  3. Dr Elena Troubitsyna
  4. Professor Alexander Romanovsky
Author(s)Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A
Editor(s)de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M.
Publication type Conference Proceedings (inc. Abstract)
Conference NameFormal Methods for Components and Objects: 8th International Symposium (FMCO)
Conference LocationEindhoven, Netherlands
Year of Conference2010
Legacy Date4-6 November 2009
Volume6286
Pages70-88
Series TitleLecture Notes in Computer Science
0302-9743
ISBN9783642170706
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
PublisherSpringer
URLhttp://dx.doi.org/10.1007/978-3-642-17071-3
DOI10.1007/978-3-642-17071-3
Actions    Link to this publication
Share
Library holdingsSearch Newcastle University Library for this item