Massini, A., Computer Science Department Sapienza University, Италия

• Том 2, № 1 (3) (2020) - Статьи
  System Level Formal Verification as a Service
  Аннотация  PDF (English)