Tools for system validation with B abstract machines⋆ Michael Butler1 and Michael Leuschel1,2 and Colin Snook1 1 2 - Deployment flowchart - Document - PDFSEARCH.IO

First Page	Meta Content
	Tools for system validation with B abstract machines⋆ Michael Butler1 and Michael Leuschel1,2 and Colin Snook1 1 2 Add to Reading List Document Date: 2005-06-09 09:07:09 Open Document File Size: 150,60 KB Share Result on Facebook

Tools for system validation with B abstract machines⋆ Michael Butler1 and Michael Leuschel1,2 and Colin Snook1 1 2Add to Reading List