Posts by Elsa Ferrara

Формальний доказ на драйверах пристроїв за допомогою SPARK

• 16 лютого 2026
Elsa Ferrara
Україньска
drivers SPARK embedded

Переклад статті Formal Proof on Device Drivers with SPARK
Aug 16, 2023

Read more ...

---