Partial Verification Results

Wüstholz, Valentin T.

doi:10.3929/ethz-a-010538908

Show simple item record

dc.contributor.author

Wüstholz, Valentin T.

dc.contributor.supervisor

Müller, Peter

dc.contributor.supervisor

Dillig, Işil

dc.date.accessioned

2018-02-08T08:51:28Z

dc.date.available

2017-06-11T20:12:44Z

dc.date.available

2018-02-08T08:51:28Z

dc.date.issued

2015

dc.identifier.uri

http://hdl.handle.net/20.500.11850/105607

dc.identifier.doi

10.3929/ethz-a-010538908

dc.format

application/pdf

dc.language.iso

en

en_US

dc.publisher

ETH Zurich

dc.rights.uri

http://rightsstatements.org/page/InC-NC/1.0/

dc.subject

VERIFICATION (SOFTWARE ENGINEERING)

en_US

dc.subject

VERIFIKATION (SOFTWARE ENGINEERING)

en_US

dc.title

Partial Verification Results

en_US

dc.type

Doctoral Thesis

dc.rights.license

In Copyright - Non-Commercial Use Permitted

dc.date.published

2015

ethz.size

1 Band

en_US

ethz.code.ddc

DDC - DDC::0 - Computer science, information & general works::004 - Data processing, computer science

en_US

ethz.identifier.diss

22868

en_US

ethz.identifier.nebis

010538908

ethz.publication.place

Zurich

ethz.publication.status

published

en_US

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

en_US

ethz.leitzahl

ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science

en_US

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.date.deposited

2017-06-11T20:13:08Z

ethz.source

ECOL

ethz.source

ECIT

ethz.identifier.importid

imp593653960999621059

ethz.identifier.importid

imp59366b7f17f2368856

ethz.ecolpid

eth:48183

ethz.ecitpid

pub:165233

ethz.eth

yes

en_US

ethz.availability

Open access

en_US

ethz.rosetta.installDate

2017-07-15T07:16:03Z

ethz.rosetta.lastUpdated

2025-02-07T00:40:49Z

ethz.rosetta.versionExported

true

ethz.COinS

ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Partial%20Verification%20Results&rft.date=2015&rft.au=W%C3%BCstholz,%20Valentin%20T.&rft.genre=unknown&rft.btitle=Partial%20Verification%20Results

Search print copy at ETH Library