TU Darmstadt / ULB / TUbiblio

ABS: A Core Language for Abstract Behavioral Specification

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

Item Type: Conference or Workshop Item
Erschienen: 2010
Editors: Aichernig, Bernhard K. ; de Boer, Frank S. ; Bonsangue, Marcello M.
Creators: Johnsen, Einar Broch ; Hähnle, Reiner ; Schäfer, Jan ; Schlatte, Rudolf ; Steffen, Martin
Title: ABS: A Core Language for Abstract Behavioral Specification
Language: German
Series: Lecture Notes in Computer Science
Series 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₈
URL / URN: https://doi.org/10.1007/978-3-642-25271-6_8
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details