Additional Metadata
THEME Software (theme 1)
Publisher Springer
Stakeholder Unspecified
Editor B. Beckert , F. Damiani , F.S. de Boer (Frank) , M.M. Bonsangue (Marcello)
ISBN 978-3-642-35887-6
Series Lecture Notes in Computer Science
Conference Formal Methods for Components and Objects
Citation
Hähnle, R, Helvensteijn, M, Johnsen, E.B, Lienhardt, M, Sangiorgi, D, Schaefer, I, & Wong, P.Y.H. (2013). HATS abstract behavioral specification: the architectural view. In B Beckert, F Damiani, F.S de Boer, & M.M Bonsangue (Eds.), Lecture Notes in Computer Science. Springer.