British Computer Society (published by Springer)

Copyright Holders: British Computer Society (published by Springer)

a

Self-archiving policy

Conditions

Accepted version:

12 months embargo

Published version:

X

a

Remarks:

Formal Aspects of Computing

Policy on official website linked to “The Computer Journal”, same policy found on Sherpa and Springer, hence, the policy is followed.

You may post the POST-PRINT version of the Article (but not the published version itself) onto your own website, your institution’s website and in institutional or subject-based repositories… not made publicly available until 12 Months after the online date of publication.

Verification Date:

 30.03.2015