BH akademski imenik

Nazad

Irfan Šljivo, E. Denney, Jonathan Menzies

0 2023.

Guided Integration of Formal Verification in Assurance Cases

IEEE International Conference on Formal Engineering Methods

Pretplatite se na novosti o BH Akademskom Imeniku

Ova stranica koristi kolačiće da bi vam pružila najbolje iskustvo