Vol-2720⫷ Vol-2721 ⫸Vol-2722
urn:nbn:de:0074-2721-0


Vol-2721/paper494⫷Vol-2721/paper495⫸Vol-2721/paper499
Oleg SychevMikhail DenisovAnton Anikin 0001

Verifying algorithm traces and fault reason determining using ontology reasoning