default search action

combined dblp search
author search
venue search
publication search

ask others

Science of Computer Programming, Volume 220

> 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 220, August 2022

Selected papers from the 2022 European Conference on Object-Oriented Programming

- view
  authority control:
- export record
  dblp key:
  - journals/scp/NavarroO22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/NavarroO22
Marcelo Navarro, Federico Olmedo:
Slicing of probabilistic programs based on specifications. 102822

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2020)

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/LiuMC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LiuMC22
Chong Liu, Nuno Macedo, Alcino Cunha:
Merging cloned Alloy models with colorful refactorings. 102829
- view
  authority control:
- export record
  dblp key:
  - journals/scp/CarvalhoS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CarvalhoS22
Gustavo Carvalho, Volker Stolz:
Preface - Selected papers from the 23rd Brazilian Symposium on Formal Methods - SBMF 2020. 102830

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.