default search action

combined dblp search
author search
venue search
publication search

ask others

SETSS 2017: Chongqing, China

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > SETSS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/setss/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/2017
Jonathan P. Bowen, Zhiming Liu, Zili Zhang:
Engineering Trustworthy Software Systems - Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures. Lecture Notes in Computer Science 11174, Springer 2018, ISBN 978-3-030-02927-2
- view
  authority control:
- export record
  dblp key:
  - conf/setss/HayesJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/HayesJ17
Ian J. Hayes, Cliff B. Jones:
A Guide to Rely/Guarantee Thinking. 1-38
- view
  authority control:
- export record
  dblp key:
  - conf/setss/LeavensN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/LeavensN17
Gary T. Leavens, David A. Naumann:
An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping. 39-88
- view
  authority control:
- export record
  dblp key:
  - conf/setss/Shankar17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/Shankar17
Natarajan Shankar:
Formalizing Hoare Logic in PVS. 89-114
- view
  authority control:
- export record
  dblp key:
  - conf/setss/Leino17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/Leino17
K. Rustan M. Leino:
Modeling Concurrency in Dafny. 115-142
- view
  authority control:
- export record
  dblp key:
  - conf/setss/MaG017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/MaG017
Xiaoxing Ma, Tianxiao Gu, Wei Song:
Software Is Not Soft - Challenges and Approaches to Dynamic Software Update. 143-175
- view
  authority control:
- export record
  dblp key:
  - conf/setss/JonesA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setss/JonesA17
Cliff B. Jones, Troy K. Astarte:
Challenges for Formal Semantic Description: Responses from the Main Approaches. 176-217

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.