Skip to main content
Log in
Search all Theory of Computing Systems articles

Volume 51, Issue 3

October 2012

CiE: Programs, Proofs, Processes

Issue Editors:
  • Fernando Ferreira,
  • Benedikt Löwe,
  • ELVIRA MAYORDOMO
8 articles in this issue
  1. Programs, Proofs, Processes

    • Fernando Ferreira
    • Benedikt Löwe
    • Elvira Mayordomo
    EditorialNotes Open access 19 April 2012 Pages: 267 - 269

Navigation