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

Глава

MicroTESK: Specification-Based Tool for Constructing Test Program Generators

P. 217-220.
Tatarnikov A., Kamkin A., Чупилко М. М., Коцыняк А. М.

В книге

Vol. 10629: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017. Cham: Springer, 2017.