Open AccessSYSTEM OF THE AUTOMATED CHECKING OLYMPIC SOLUTIONS UNIVERSAL OLYMP CHECKER V.1.1
Author(s) -
I. Alekseichuk
Publication year - 2009
Publication title -
ìnformacìjnì tehnologìï v osvìtì
Language(s) - English
Resource type - Journals
eISSN - 2306-1707
pISSN - 1998-6939
DOI - 10.14308/ite000071
Subject(s) - model checking , computer science , programming language , operating system , embedded system