Author:
Müller Peter,Schwerhoff Malte,Summers Alexander J.
Publisher
Springer International Publishing
Reference23 articles.
1. Viper Online: Try examples in the browser.
http://viper.ethz.ch/examples/
2. Lecture Notes in Computer Science;J Berdine,2006
3. Birkedal, L., Torp-Smith, N., Reynolds, J.C.: Local reasoning about a copying garbage collector. In: Jones, N.D., Leroy, X. (eds.) POPL, pp. 220–231. ACM (2004)
4. Lecture Notes in Computer Science;S Blom,2014
5. Lecture Notes in Computer Science;J Boyland,2003
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献