Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Lecture Notes in Computer Science;A. Cimatti,1999
2. Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
3. Djoko Djoko, S., Douence, R., Fradet, P.: Aspects preserving properties. In: Proc. of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantic-Based Program Manipulation (PEPM 2008), pp. 135–145. ACM, New York (2008)
4. Lecture Notes in Computer Science;M. Goldman,2007
5. Lecture Notes in Computer Science;E. Katz,2005