Artikel dengan mandat akses publik - Iulian OberPelajari lebih lanjut
Tersedia di suatu tempat: 1
Formal verification of emergent properties
K Boumaza, C Tolba, I Ober
Informatica 45 (3), 2021
Mandat: Slovenian Research Agency
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer