![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 211
Volume 211, November 2021
- Nuno Macedo
, Alcino Cunha
, José Pereira
, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva
, Miguel Sozinho Ramalho
, Daniel Castro Silva:
Experiences on teaching alloy with an automated assessment platform. 102690
- Timm Liebrenz, Paula Herber
, Sabine Glesner:
Service-oriented decomposition and verification of hybrid system models using feature models and contracts. 102694
- Juan R. Terven, Diana Margarita Córdova Esparza
:
KinZ an Azure Kinect toolkit for Python and Matlab. 102702
- Jackline Ssanyu
, Engineer Bainomugisha
, Benjamin Kanagwa
:
PAMOJA: A component framework for grammar-aware engineering. 102703
![](https://dblp.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.