![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 224
Volume 224, December 2022
- Uzma Afzal, Tariq Mahmood, Shazia Usmani:
Evolutionary Computing to solve product inconsistencies in Software Product Lines. 102875 - Isaac Oscar Gariano, Marco Servetto
, Alex Potanin:
Using capabilities for strict runtime invariant checking. 102878
- Maurice H. ter Beek
, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
, Giordano Scarso:
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC. 102879
- Kokichi Futatsugi
:
Advances of proof scores in CafeOBJ. 102893
- Rong Gu
, Peter Gjøl Jensen
, Cristina Seceleanu
, Eduard Enoiu, Kristina Lundqvist:
Correctness-guaranteed strategy synthesis and compression for multi-agent autonomous systems. 102894
![](https://dblp.org/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.