LMS-Verify: Abstraction without Regret for Verified Systems Programming Nada Amin∗ Tiark Rompf †

First Page		Document Content
Date: 2016-12-01 23:01:48		LMS-Verify: Abstraction without Regret for Verified Systems Programming Nada Amin∗ Tiark Rompf † Add to Reading List Source URL: lampwww.epfl.ch Download Document from Source Website File Size: 267,53 KB Share Document on Facebook