Author:
Havelund Klaus,Reger Giles
Publisher
Springer International Publishing
Reference61 articles.
1. XTL Manual. http://cadp.inria.fr/man/xtl.html
2. Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to AspectJ. SIGPLAN Not. 40, 345–364 (2005)
3. Lecture Notes in Computer Science;H Barringer,2012
4. Lecture Notes in Computer Science;H Barringer,2004
5. Lecture Notes in Computer Science;H Barringer,2011
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献