Towards a Feature mu-Calculus Targeting SPL Verification Maurice H. ter Beek Erik P. de Vink Tim A. C. Willemse

First Page		Document Content
Date: 2016-04-07 07:22:54		Towards a Feature mu-Calculus Targeting SPL Verification Maurice H. ter Beek Erik P. de Vink Tim A. C. Willemse Add to Reading List Source URL: blog.inf.ed.ac.uk Download Document from Source Website File Size: 346,40 KB Share Document on Facebook