Author:
Bartetzko Detlef,Fischer Clemens,Möller Michael,Wehrheim Heike
Subject
General Computer Science,Theoretical Computer Science
Reference26 articles.
1. America, P., Designing an object-oriented programming language with behavioural subtyping, in: J. de Bakker, W. de Roever and G. Rozenberg, editors, REX Workshop: Foundations of Object-Oriented Languages, number 489 in LNCS (1991)
2. “Verification of Sequential and Concurrent Programs,”;Apt,1997
3. Bartetzko D., “Parallelität und Vererbung beim “Programmieren mit Vertrag”,” Master's thesis, Universität Oldenburg (1999), in German.
4. Clarke E., E. Emerson and A. Sistla, Automatic verification of finite state concurrent systems using temporal logic specifications: A practical approach, in: Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, ACM, 1983, pp. 117–126.
5. Corbett J., M. Dwyer, J. Hatcliff and Robby, A language framework for expressing checkable properties of dynamic software, in: SPIN 2000, number 1885 in LNCS (2000), pp. 205–223.
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献