Zakirzyanov Ilya T.

Work place: ITMO University, Saint Petersburg, 197101, Russian Federation
Post: Postgraduate, Software Engineer
Degree: аспирант, программист
E-mail: ilya.zakirzyanov@gmail.com
Scopus ID: 56613352900
ORCID: 0000-0002-3460-3489
Zakirzyanov I. T.
DETERMINISTIC FINITE AUTOMATA USINGCOUNTEREXAMPLE GUIDED ABSTRACTION REFINEMENT

The article was published in issue 3, volume 20, 2020
Copyright 2001-2021 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

Яндекс.Метрика