Application of formal methods in the design of a collaborative virus defense system
Žurnal Belorusskogo gosudarstvennogo universiteta.  Matematika, informatika/Žurnal Belorusskogo gosudarstvennogo universiteta. Matematika, informatika