A Discipline for Program Verification based on Backpointers and its Use in Observational Disjointness

Download

Open access

Author

Date

2012

Type

Report

ETH Bibliography

yes

Altmetrics

Download

Rights / license

Permanent link

https://doi.org/10.3929/ethz-a-007560318

Publication status

published

Journal / series

Technical Report / ETH Zurich, Department of Computer Science

Volume

772

Publisher

ETH Zurich, Department of Computer Science

Subject

VERIFICATION (SOFTWARE ENGINEERING); THEORIE DER PROGRAMMIERUNG; VERIFIKATION (SOFTWARE ENGINEERING); THEORY OF PROGRAMMING

Organisational unit

03653 - Müller, Peter / Müller, Peter
02150 - Dep. Informatik / Dep. of Computer Science

Notes

Technical Reports D-INFK.

More

ETH Bibliography

yes

Altmetrics

Research Collection