Show simple item record

dc.contributor.author
Tschannen, Julian
dc.contributor.author
Furia, Carlo A.
dc.contributor.author
Nordio, Martin
dc.date.accessioned
2017-06-11T04:55:59Z
dc.date.available
2017-06-11T04:55:59Z
dc.date.issued
2015-11
dc.identifier.issn
1433-2779
dc.identifier.issn
1433-2787
dc.identifier.other
10.1007/s10009-014-0300-y
dc.identifier.uri
http://hdl.handle.net/20.500.11850/80518
dc.language.iso
en
dc.publisher
Springer
dc.subject
Automated Program verification
dc.subject
Verification challenges
dc.subject
Experience report
dc.subject
Eiffel
dc.subject
Functional correctness
dc.title
AutoProof meets some verification challenges
dc.type
Journal Article
ethz.journal.title
International Journal on Software Tools for Technology Transfer
ethz.journal.volume
17
ethz.journal.issue
6
ethz.journal.abbreviated
Int J Softw Tools Technol Transfer
ethz.pages.start
745
ethz.pages.end
755
ethz.notes
Published online 9 February 2014.
ethz.identifier.nebis
001907129
ethz.publication.place
Heidelberg
ethz.publication.status
published
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, 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-11T04:56:26Z
ethz.source
ECIT
ethz.identifier.importid
imp5936519fee4e456340
ethz.ecitpid
pub:126390
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-15T02:45:38Z
ethz.rosetta.lastUpdated
2022-03-28T12:33:20Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=AutoProof%C2%A0meets%20some%20verification%20challenges&rft.jtitle=International%20Journal%20on%20Software%20Tools%20for%20Technology%20Transfer&rft.date=2015-11&rft.volume=17&rft.issue=6&rft.spage=745&rft.epage=755&rft.issn=1433-2779&1433-2787&rft.au=Tschannen,%20Julian&Furia,%20Carlo%20A.&Nordio,%20Martin&rft.genre=article&rft_id=info:doi/10.1007/s10009-014-0300-y&
 Search print copy at ETH Library

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record