Bookmark

Proving programs continuous: technical perspective

Zeller, Andreas
Communications of the ACM , Volume 55 (8) Association for Computing MachineryAug 1, 2012

Free

Loading next page...
1 Page

Switch to Continuous Viewing mode

 
/lp/association-for-computing-machinery/proving-programs-continuous-technical-perspective-Ws92jOVgWa
Title
Proving programs continuous: technical perspective
Author(s)
Zeller, Andreas
Journal
Communications of the ACM , Volume 55 (8) Association for Computing Machinery – Aug 1, 2012
Publisher
Association for Computing Machinery
Copyright
Copyright © 2012 by ACM Inc.
ISSN
0001-0782
D.O.I.
10.1145/2240236.2240261
Publisher site
Get PDF