default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volumes 107-108

> Home > Journals > Science of Computer Programming

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volumes 107-108, September 2015

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GheyiI15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GheyiI15
Rohit Gheyi, Juliano Iyoda:
Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013). 1
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/LoweKSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LoweKSS15
Michael Löwe, Harald König, Christoph Schulz, Marius Schultchen:
Algebraic graph transformations with inheritance and abstraction. 2-18
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/GladischT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GladischT15
Christoph Gladisch, Shmuel S. Tyszberowicz:
Specifying linked data structures in JML for combining formal verification and testing. 19-40
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CalegariS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CalegariS15
Daniel Calegari, Nora Szasz:
Institution-based foundations for verification in the context of model-driven engineering. 41-63
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/SantosBM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SantosBM15
Joel André Ferreira dos Santos, Christiano Braga, Débora C. Muchaluat-Saade:
A rewriting logic semantics for NCL. 64-92

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.