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. WillemseAdd to Reading ListSource URL: blog.inf.ed.ac.ukDownload Document from Source WebsiteFile Size: 346,40 KBShare Document on Facebook |