Search results for: Guy Leshem
Journal of Information Security and Applications > 2017 > 34 > P2 > 218-224
Journal of Applied Logic > 2017 > 21 > C > 1-13
International Journal of Impact Engineering > 2016 > 87 > C > 14-27
Theoretical Computer Science > 2014 > 553 > Complete > 2-17