José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
Variability Modelling in the ABS Language
Dave Clarke
,
Radu Muschevici
,
José Proença
,
Ina Schaefer
,
Rudolf Schlatte
January 2010
PDF
Cite
DOI
Type
Conference paper
Publication
Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
Cite
×