High Quality Implementation for Automatic Generation C# Code by Event-B Pattern
K Elsayed, Eman, El-Sharawy, EnasVolume:
5
Journal:
International Journal of Software Engineering & Applications
DOI:
10.5121/ijsea.2014.5104
Date:
January, 2014
File:
PDF, 748 KB
2014