An inheritance-based technique for building simulation proofs incrementally

The Digital Librarian's Digital Library

DOCIS Documents in Computing and Information Science

Home >> Journals and Conference Proceedings >> ACM Transactions on Software Engineering Methodology

An inheritance-based technique for building simulation proofs incrementally

Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman

Journal Title: ACM Transactions on Software Engineering Methodology

Date: 2002

Volume: 11

Issue: 1

p. 63 - 91

We have been looking for this document on the Web. We think we have found the following, freely available version(s) of it:

http://theory.lcs.mit.edu/%7Eidish/ftp/icse00.ps.gz

http://theory.lcs.mit.edu/%7Eidish/ftp/kkls-tosem.ps

http://theory.lcs.mit.edu/%7Eroger/Research/Papers/tosem_proof_reuse.ps.gz

http://theory.lcs.mit.edu/~idish/ftp/icse00.ps

http://theory.lcs.mit.edu/~idish/ftp/icse00.ps.gz

http://theory.lcs.mit.edu/~idish/ftp/kkls-tosem.ps

http://www.ee.technion.ac.il/~idish/Abstracts/../ftp/kkls-tosem.pdf

http://www.ee.technion.ac.il/~idish/Abstracts/../ftp/kkls-tosem.ps.gz

For further information about this item go to:

http://doi.acm.org/10.1145/504087.504090

This data comes from DBLP

This page is maintained by Angela Cornwell and Thomas Krichel.
It was last updated on 2006-04-12