Augsburg College Undergraduate Catalog

First Page		Document Content
Date: 2014-03-26 09:46:40 Academia Minnesota Augsburg College Higher education Sven Oftedal Lindell Library Associated Colleges of the Twin Cities Augsburg August Weenaas North Central Association of Colleges and Schools Council of Independent Colleges Liberal arts colleges		Augsburg College Undergraduate Catalog Add to Reading List Source URL: web.augsburg.edu Download Document from Source Website File Size: 2,17 MB Share Document on Facebook

	Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ? DocID: 1xVko - View Document
	Modular Verification of Order-Preserving Write-Back Caches ? J¨ org Pf¨ ahler, Gidon Ernst, Stefan Bodenm¨ uller, Gerhard Schellhorn, and DocID: 1xVjs - View Document
	A Formal Model of a Virtual Filesystem Switch ∗ Gidon Ernst Gerhard Schellhorn Dominik Haneberg DocID: 1xVf3 - View Document
	Flashix: Development of a Verified Flash File System G. Schellhorn G. Ernst, J. Pfähler, D. Haneberg, W. Reif Overview • Introduction: Flash Hardware and File Systems • Project Flashix: Approach & Tool Support:KIV DocID: 1xUYo - View Document
	Modular, Crash-Safe Refinement for ASMs with Submachines Gidon Ernsta , J¨ org Pf¨ahlera , Gerhard Schellhorna , Wolfgang Reifa a Institute DocID: 1xUL1 - View Document