Journals
Publish with us
Publishing partnerships
About us
Blog

Applied Computational Intelligence and Soft Computing

For authors For reviewers For editors Table of Contents

Applied Computational Intelligence and Soft Computing/
2014/
Article/
Alg 1 /

Research Article

Testing Automation of Context-Oriented Programs Using Separation Logic

Algorithm 1

The programming language J-COP.

About Us
Contact us
Partnerships
Blog

Journals
Article Processing Charges
Print editions

Authors
Editors
Reviewers
Partnerships

Hindawi XML Corpus
Open Archives Initiative
Fraud prevention

Follow us:

Terms of Service

Responsible Disclosure Policy

Modern slavery statement

Cookie Preferences