Date: 2011-06-23 07:40:14Logic in computer science Control flow Object-oriented programming Program logic Procedural programming languages Postcondition Exception handling Eiffel Precondition Software engineering Computing Computer programming | | Verifying Eiffel Programs with Boogie Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch Abstract. Static program Add to Reading ListSource URL: se.inf.ethz.chDownload Document from Source Website File Size: 328,78 KBShare Document on Facebook
|