Search results for: Zvonimir Rakamarić
Journal of Automated Reasoning > 2018 > 60 > 1 > 23-42
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Session 2 > 106-121
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 290-304
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 19-33
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 237-252
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 207-221
Electronic Notes in Theoretical Computer Science > 2015 > 317 > Complete > 33-45
2014 LLVM Compiler Infrastructure in HPC > 40 - 47
Computing in Science & Engineering > 2014 > 16 > 3 > 48 - 56
Formal Aspects of Computing > 2013 > 25 > 3 > 389-403
International Journal on Software Tools for Technology Transfer > 2009 > 11 > 2 > 105-116