Specification and verification challenges for sequential object-oriented programs
dc.contributor.author
Leavens, Gary T.
dc.contributor.author
Leino, K. Rustan M.
dc.contributor.author
Müller, Peter
dc.date.accessioned
2017-06-08T15:43:45Z
dc.date.available
2017-06-08T15:43:45Z
dc.date.issued
2007-06
dc.identifier.issn
0934-5043
dc.identifier.issn
1433-299X
dc.identifier.other
10.1007/s00165-007-0026-7
dc.identifier.uri
http://hdl.handle.net/20.500.11850/2103
dc.identifier.doi
10.3929/ethz-b-000002103
dc.format
application/pdf
dc.language.iso
en
dc.publisher
Springer
dc.rights.uri
http://rightsstatements.org/page/InC-NC/1.0/
dc.subject
Program verification
dc.subject
Specification
dc.subject
Contract
dc.subject
Object-oriented programming
dc.subject
Challenge
dc.title
Specification and verification challenges for sequential object-oriented programs
dc.type
Journal Article
dc.rights.license
In Copyright - Non-Commercial Use Permitted
ethz.journal.title
Formal Aspects of Computing
ethz.journal.volume
19
ethz.journal.issue
2
ethz.journal.abbreviated
Form. asp. comput.
ethz.pages.start
159
ethz.pages.end
189
ethz.version.deposit
publishedVersion
ethz.notes
Received 17 May 2006, Revised 20 August 2006, Accepted 19 February 2007, Published online 6 April 2007. It was possible to publish this article open access thanks to a Swiss National Licence with the publisher
ethz.identifier.wos
ethz.identifier.nebis
000503013
ethz.publication.place
Berlin
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03653 - Müller, Peter / Müller, Peter
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich, direkt::00012 - Lehre und Forschung, direkt::00007 - Departemente, direkt::02150 - Departement Informatik / Department of Computer Science::03594 - Meyer, Bertrand (emeritus)
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03653 - Müller, Peter / Müller, Peter
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich, direkt::00012 - Lehre und Forschung, direkt::00007 - Departemente, direkt::02150 - Departement Informatik / Department of Computer Science::03594 - Meyer, Bertrand (emeritus)
ethz.date.deposited
2017-06-08T15:44:03Z
ethz.source
ECIT
ethz.identifier.importid
imp59364b4ba497948567
ethz.ecitpid
pub:11978
ethz.eth
yes
ethz.availability
Open access
ethz.rosetta.installDate
2017-07-14T18:43:12Z
ethz.rosetta.lastUpdated
2024-02-01T14:02:39Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Specification%20and%20verification%20challenges%20for%20sequential%20object-oriented%20programs&rft.jtitle=Formal%20Aspects%20of%20Computing&rft.date=2007-06&rft.volume=19&rft.issue=2&rft.spage=159&rft.epage=189&rft.issn=0934-5043&1433-299X&rft.au=Leavens,%20Gary%20T.&Leino,%20K.%20Rustan%20M.&M%C3%BCller,%20Peter&rft.genre=article&rft_id=info:doi/10.1007/s00165-007-0026-7&
Files in this item
Publication type
-
Journal Article [130596]