Home / Authors / Dr Enas El-Sayed El-Sharawy

Books by Dr Enas El-Sayed El-Sharawy

All books by this author

1 books found
INTEGRATION OF SMT-Solver and PATTERN IN: Event-b
INTEGRATION OF SMT-Solver and PATTERN IN: Event-b
By: Dr Enas El-Sayed El-Sharawy
View Details