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.
In: Lecture Notes in Computer Science, 6957, Springer, In: Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers, pp. 142-164, 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:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)

View Item View Item