Author Information
Author:Michael Rusinowitch

Publications

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