Exploiting abstraction for specification reuse
The Java/C# case study
Metadata only
Date
2004Type
- Conference Paper
Publication status
publishedEditor
Book title
Formal methods for components and objects : second international symposium : revised lectures / FMCO 2003, Leiden, The Netherlands, November 4-7, 2003Journal / series
Lecture Notes in Computer ScienceVolume
Pages / Article No.
Publisher
SpringerEvent
More
Show all metadata