Open
Books
Keywords
Byuhiautomaton
In articles
In books
In conferences
In pdf-articles
Search in authors
Not search in authors
For example,
Бобцов
Books
Article
DEVELOPMENT OF A VERIFIER FOR AUTOMATA-BASED PROGRAMS
Kirill Egorov, Shalyto Anatoly A.
1
Keywords
Keywords
CONTENT © ITMO UNIVERSITY 1993-2024