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

Глава

Automated Formal Verification of Model Transformations Using the Invariants Mechanism

P. 59-73.

В книге

Iss. 365: Perspectives in Business Informatics Research. Switzerland: Springer, 2019.