Automatic recovery of statecharts from procedural code
- Moria Abadi
- Yishai A. Feldman
- 2012
- ASE 2012
Publications
Date
Featured collections
Popular topics
2 results for Moria Abadi
Verifying Parallel Code After Refactoring Using Equivalence Checking
- Moria Abadi
- Sharon Keidar-Barner
- et al.
- 2018
- Int. J. Parallel Program