Show simple item record

dc.contributor.author
Borger, E.
dc.contributor.author
Stark, R.F.
dc.contributor.editor
De Boer, Frank S.
dc.contributor.editor
Bonsangue, M.M.
dc.contributor.editor
Graf, S.
dc.contributor.editor
DeRoever, W.P.
dc.date.accessioned
2017-06-09T10:55:22Z
dc.date.available
2017-06-09T10:55:22Z
dc.date.issued
2004
dc.identifier.isbn
3-540-22942-6
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.uri
http://hdl.handle.net/20.500.11850/34516
dc.language.iso
en
dc.publisher
Springer
dc.title
Exploiting abstraction for specification reuse
dc.type
Conference Paper
ethz.title.subtitle
The Java/C# case study
ethz.book.title
Formal methods for components and objects : second international symposium : revised lectures / FMCO 2003, Leiden, The Netherlands, November 4-7, 2003
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
3188
ethz.journal.abbreviated
LNCS
ethz.pages.start
42
ethz.pages.end
76
ethz.event
2nd International Symposium on Formal Methods for Components and Objects
ethz.event.location
Leiden, Netherlands
ethz.event.date
November 4-7, 2003
ethz.notes
.
ethz.identifier.wos
ethz.identifier.nebis
004837442
ethz.publication.place
Berlin
ethz.publication.status
published
ethz.date.deposited
2017-06-09T10:55:30Z
ethz.source
ECIT
ethz.identifier.importid
imp59364e005226c19922
ethz.ecitpid
pub:55523
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-14T16:20:28Z
ethz.rosetta.lastUpdated
2018-10-01T12:36:33Z
ethz.rosetta.exportRequired
true
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Exploiting%20abstraction%20for%20specification%20reuse&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2004&rft.volume=3188&rft.spage=42&rft.epage=76&rft.issn=0302-9743&1611-3349&rft.au=Borger,%20E.&Stark,%20R.F.&rft.isbn=3-540-22942-6&rft.genre=proceeding&rft_id=info:doi/3-540-22942-6&rft.btitle=Formal%20methods%20for%20components%20and%20objects%20:%20second%20international%20symposium%20:%20revised%20lectures%20/%20FMCO%202003,%20Leiden,%20The%20Netherlands,%2
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record