Cited By
View all- Herzeel CGybels KCostanza PDe Roover CD'Hondt T(2018)Forward chaining in HALOComputer Languages, Systems and Structures10.1016/j.cl.2008.06.00235:1(31-47)Online publication date: 20-Dec-2018
- Erlingsson ÚPeinado MPeter SBudiu MMainar-Ruiz G(2012)FayACM Transactions on Computer Systems (TOCS)10.1145/2382553.238255530:4(1-35)Online publication date: 1-Nov-2012
- Bodden ELam PHendren L(2012)Partially Evaluating Finite-State Runtime Monitors Ahead of TimeACM Transactions on Programming Languages and Systems10.1145/2220365.222036634:2(1-52)Online publication date: Jun-2012
- Show More Cited By