Author:
Ahrendt Wolfgang,Dylla Maximilian
Reference59 articles.
1. An assertion-based proof system for multithreaded Java;Ábrahám;Theoretical Computer Science,2005
2. The B-book: Assigning Programs to Meanings;Abrial,1996
3. W. Ahrendt, Using KeY, in: Beckert et al. [12], pp. 409–451.
4. W. Ahrendt, F.S. de Boer, I. Grabe, Abstract object creation in dynamic logic, in: A. Cavalcanti, D. Dams (Eds.), Proc. 16th International Symposium on Formal Methods, FM’09, in: LNCS, Springer, 2009 (in press).
5. A verification system for distributed objects with asynchronous method calls;Ahrendt,2009
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献