Follow
Ali Shamakhi
Ali Shamakhi
Tehran Institute of Advanced Studies
Verified email at ut.ac.ir
Title
Cited by
Cited by
Year
On Strings in Software Model Checking
H Hojjat, P Rümmer, A Shamakhi
Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa …, 2019
122019
Towards String Support in JayHorn (Competition Contribution)
A Shamakhi, H Hojjat, P Rümmer
International Conference on Tools and Algorithms for the Construction and …, 2021
72021
The system can't perform the operation now. Try again later.
Articles 1–2