Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 146

> Home > Journals > Science of Computer Programming

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 146, October 2017

- view
  authority control:
- export record
  dblp key:
  - journals/scp/Braga17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Braga17
Christiano Braga:
Preface to Special issue with extended selected papers from FACS 2015. 1
- view
  authority control:
- export record
  dblp key:
  - journals/scp/WestmanNGG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/WestmanNGG17
Jonas Westman, Mattias Nyberg, Joakim Gustavsson, Dilian Gurov:
Formal architecture modeling of sequential non-recursive C programs. 2-27
- view
  authority control:
- export record
  dblp key:
  - journals/scp/ProencaC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ProencaC17
José Proença, Dave Clarke:
Typed connector families and their semantics. 28-49
- view
  authority control:
- export record
  dblp key:
  - journals/scp/JongmansKA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/JongmansKA17
Sung-Shik T. Q. Jongmans, Tobias Kappé, Farhad Arbab:
Constraint automata with memory cells and their composition. 50-86
- view
  authority control:
- export record
  dblp key:
  - journals/scp/AbidSP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AbidSP17
Rim Abid, Gwen Salaün, Noel De Palma:
Asynchronous synthesis techniques for coordinating autonomic managers in the cloud. 87-103

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.