Lista publicaţiilor: (1), Descărcări - 3, Vizualizări - 886
Articole în reviste cat. B+
2016 - 1
ISO 690-2012
| Proving Properties of Programs on Hierarchical Nominative Data |
| Ivanov Ievgen, Nikitchenko Mykola, Skobelev Volodymyr |
| Computer Science Journal of Moldova |
| Nr. 3(72) / 2016 / ISSN 1561-4042 / ISSNe 2587-4330 |
| Disponibil online 6 December, 2016. Descarcări-3. Vizualizări-886 |
