![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
SETSS 2017: Chongqing, China
- 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 - Ian J. Hayes
, Cliff B. Jones
:
A Guide to Rely/Guarantee Thinking. 1-38 - Gary T. Leavens
, David A. Naumann
:
An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping. 39-88 - Natarajan Shankar
:
Formalizing Hoare Logic in PVS. 89-114 - K. Rustan M. Leino
:
Modeling Concurrency in Dafny. 115-142 - Xiaoxing Ma
, Tianxiao Gu, Wei Song:
Software Is Not Soft - Challenges and Approaches to Dynamic Software Update. 143-175 - Cliff B. Jones
, Troy K. Astarte
:
Challenges for Formal Semantic Description: Responses from the Main Approaches. 176-217
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.