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.