Extending Code Generation to Support Platform-‐Independent Event-‐B Models Asieh Salehi, Michael Butler and Colin Snook University of - Language code - Document - PDFSEARCH.IO

First Page	Meta Content
	Extending Code Generation to Support Platform-‐Independent Event-‐B Models Asieh Salehi, Michael Butler and Colin Snook University of Add to Reading List Document Date: 2016-05-20 11:48:12 Open Document File Size: 67,91 KB Share Result on Facebook

Extending Code Generation to Support Platform-­‐Independent Event-­‐B Models Asieh Salehi, Michael Butler and Colin Snook University of Add to Reading List