A Component Model for the ABS Language - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter. A Component Model for the ABS Language. In Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue, editors, Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. Volume 6957 of Lecture Notes in Computer Science, pages 165-183, Springer, 2010. [doi]

This author has not been identified. Look up 'Michael Lienhardt' in GoogleThis author has not been identified. It may be one of the following persons:

Ivan Lanese

Look up 'Ivan Lanese' in GoogleThis author has not been identified. Look up 'Mario Bravetti' in GoogleThis author has not been identified. Look up 'Davide Sangiorgi' in GoogleThis author has not been identified. Look up 'Gianluigi Zavattaro' in GoogleThis author has not been identified. Look up 'Yannick Welsch' in GoogleThis author has not been identified. Look up 'Jan Schäfer' in GoogleThis author has not been identified. Look up 'Arnd Poetzsch-Heffter' in Google

runs on WebDSL