A method of formalizing computer operati
β
Vladimir Aristov; Andrey Stroganov
π
Article
π
2012
π
Elsevier Science
π
English
β 630 KB