has been cited by the following works.
- Jong-Myung Choi and
within a class.
In Proceedings of the International Symposium on Future Software
Technology (ISFST '99), October 1999.
Aizenbud-Reshef and Gabi Zodik.
analysis of message flows.
United States Patent 7,137,103, November 2006.
Assignee: International Business Machines Corporation (Armonk, NY).
- B. Jay and
Growing a language in pattern calculus.
In 2013 International Symposium on Theoretical Aspects of Software
Engineering, TASE 2013, pages 233–240, 2013.
Unless otherwise expressly stated, all original material on this page created by Diomidis Spinellis is licensed under a Creative Commons Attribution-Share Alike 3.0 Greece License.