TU Darmstadt / ULB / TUbiblio

ABS: A Core Language for Abstract Behavioral Specification

Johnsen, Einar Broch and Hähnle, Reiner and Schäfer, Jan and Schlatte, Rudolf and Steffen, Martin
Aichernig, Bernhard K. and de Boer, Frank S. and Bonsangue, Marcello M. (eds.) (2010):
ABS: A Core Language for Abstract Behavioral Specification.
Springer, 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, DOI: 10.1007/978-3-642-25271-6₈, [Online-Edition: https://doi.org/10.1007/978-3-642-25271-6_8],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2010
Editors: Aichernig, Bernhard K. and de Boer, Frank S. and Bonsangue, Marcello M.
Creators: Johnsen, Einar Broch and Hähnle, Reiner and Schäfer, Jan and Schlatte, Rudolf and Steffen, Martin
Title: ABS: A Core Language for Abstract Behavioral Specification
Language: German
Series Name: Lecture Notes in Computer Science
Volume: 6957
Publisher: Springer
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Title: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
Date Deposited: 27 Apr 2018 10:49
DOI: 10.1007/978-3-642-25271-6₈
Official URL: https://doi.org/10.1007/978-3-642-25271-6_8
Export:

Optionen (nur für Redakteure)

View Item View Item