Journals
Publish with us
Publishing partnerships
About us
Blog
Applied Computational Intelligence and Soft Computing
Journal overview
For authors
For reviewers
For editors
Table of Contents
Special Issues
Applied Computational Intelligence and Soft Computing
/
2014
/
Article
/
Alg 3
/
Research Article
Testing Automation of Context-Oriented Programs Using Separation Logic
Algorithm 3
Inference rules of the operational semantics for J-COP constructs.
