Journals
Books
Articles by keyword correctness of task interfaces
Monitoring of access to mutual resources for multi-task software applications
V. V. Nikiforov - Dr.Sc. (Eng.), Professor, Leading Research Scientist, St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences (SPIIRAS). E-mail: nik@iias.spb.ru