Browsen nach Person

Johnsen, Einar Broch ; Hähnle, Reiner ; Schäfer, Jan ; Schlatte, Rudolf ; Steffen, Martin
Aichernig, Bernhard K. ; de Boer, Frank S. ; Bonsangue, Marcello M. (eds.) :
ABS: A Core Language for Abstract Behavioral Specification.
[Online-Edition: https://doi.org/10.1007/978-3-642-25271-6_8]
In: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. In: Lecture Notes in Computer Science , 6957 . Springer
[Konferenz- oder Workshop-Beitrag], (2010)

Clarke, Dave ; Muschevici, Radu ; Proenca, Jose ; Schaefer, Ina ; Schlatte, Rudolf
Aichernig, Bernhard K. ; de Boer, Frank S. ; Bonsangue, Marcello M. (eds.) :
Variability Modelling in the ABS Language.
[Online-Edition: https://doi.org/10.1007/978-3-642-25271-6_11]
In: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. In: Lecture Notes in Computer Science , 6957 . Springer
[Konferenz- oder Workshop-Beitrag], (2010)