Exploiting abstraction for specification reuse

The Java/C# case study
Thumbnail
Metadata only
Author
Borger, E.
Stark, R.F.
Date
2004
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
De Boer, Frank S.
Bonsangue, M.M.
Graf, S.
DeRoever, W.P.
Book title
Formal methods for components and objects : second international symposium : revised lectures / FMCO 2003, Leiden, The Netherlands, November 4-7, 2003
Journal / series
Lecture Notes in Computer Science
Volume
3188
Pages / Article No.
42 - 76
Publisher
Springer
Event
2nd International Symposium on Formal Methods for Components and Objects, Leiden, Netherlands, November 4-7, 2003
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics