Search results for: Siavash Soleimanifard
Science of Computer Programming > 2016 > 127 > C > 76-102
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Learning Techniques for Software Verification and Validation > 658-672
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 366-381
Software & Systems Modeling > 2015 > 14 > 1 > 83-100