• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

A State-based Refinement Technique for Event-B

P. 55-60.

В книге

Los Alamitos: IEEE Communications Society, 2020.