Automated Verification of Electrum Wallet? Mathieu Turuani1 , Thomas Voegtlin2 , Michael Rusinowitch1 1 INRIA Nancy–Grand Est , 2 - Michael Thomas - Document - PDFSEARCH.IO

First Page	Meta Content
	Automated Verification of Electrum Wallet? Mathieu Turuani1 , Thomas Voegtlin2 , Michael Rusinowitch1 1 INRIA Nancy–Grand Est , 2 Add to Reading List Document Date: 2016-01-27 10:23:48 Open Document File Size: 251,88 KB Share Result on Facebook

Automated Verification of Electrum Wallet? Mathieu Turuani1 , Thomas Voegtlin2 , Michael Rusinowitch1 1 INRIA Nancy–Grand Est , 2Add to Reading List