Author:Michael Rusinowitch

Publications
SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017 Mohamed Mosbah and Michael Rusinowitch (editors) EPiC Series in Computing, volume 45