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

First Page	Meta Content
	LMS-Verify: Abstraction without Regret for Verified Systems Programming Nada Amin∗ Tiark Rompf † Add to Reading List Document Date: 2016-12-01 23:01:48 Open Document File Size: 267,53 KB Share Result on Facebook

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