This is an archive of the old software engineering chair at Saarland University. It is no longer up-to-date.

• For the current work of Andreas Zeller and his group, see andreas-zeller.info.
• For the current software engineering chair, see www.se.cs.uni-saarland.de.

Software Engineering Chair (Prof. Zeller)

Proving Programs Continuous: Technical Perspective
by Andreas Zeller

Communications of the ACM, Pages 106-106, Volume 55, Number 8, ACM, August 2012.

Digital Library via DOI: 10.1145/2240236.2240261

Abstract

BibTeX Entry

@inbook{zeller-cacm-2013,
    title = "Proving Programs Continuous: Technical Perspective",
    author = "Andreas Zeller",
    year = "2012",
    month = aug,
    journal = "Communications of the ACM",
    number = "8",
    pages = "106--106",
    publisher = "ACM",
    volume = "55",
    doi = "10.1145/2240236.2240261",
}

Show all publications of the Software Engineering Chair.