default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 210

> 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 210, October 2021

Short communication

- view
  authority control:
- export record
  dblp key:
  - journals/scp/GuerinPSCBMDB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/GuerinPSCBMDB21
Sylvain Guérin, Guillaume Polet, Caine Silva, Joël Champeau, Jean-Christophe Bach, Salvador Martínez, Fabien Dagnat, Antoine Beugnard:
PAMELA: An annotation-based Java modeling framework. 102668

Selected and extended papers from FACS 2019

- view
  authority control:
- export record
  dblp key:
  - journals/scp/ZellerBP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ZellerBP21
Peter Zeller, Annette Bieniusa, Arnd Poetzsch-Heffter:
Combining state- and event-based semantics to verify highly available applications. 102687

Special issue on ABZ 2020 Rigorous State Based Methods

- view
  authority control:
- export record
  dblp key:
  - journals/scp/ScheweFG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ScheweFG21
Klaus-Dieter Schewe, Flavio Ferrarotti, Senén González:
A logic for reflective ASMs. 102691

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.