![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 200
Volume 200, December 2020
- Fellipe A. Ugliara, Gustavo M. D. Vieira
, José de Oliveira Guimarães:
Transparent replication using metaprogramming in Cyan. 102531
- Nils Timm
, Stefan Gruner, Madoda Nxumalo, Josua Botha:
Model checking safety and liveness via k-induction and witness refinement with constraint generation. 102532
- Valérie Camps
, Stéphanie Combettes, Teddy Bouziat:
SApHESIA: An agent-based model and a criticality-based heuristic for cooperatively coupling SoSs. 102533
- Pierre A. Akiki
, Paul A. Akiki, Arosha K. Bandara
, Yijun Yu
:
EUD-MARS: End-user development of model-driven adaptive robotics software systems. 102534
- Sheng Chen, Baijun Wu:
Efficient counter-factual type error debugging. 102544
- Leo Freitas, William E. Scott III
, Patrick Degenaar:
Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems. 102545
- Kyungmin Bae, Peter Csaba Ölveczky:
Formal aspects of component software (FACS 2018). 102547
![](https://dblp.dagstuhl.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.