Open Access
Journal Homepage
ISSN (Online) 2311-7230
Published By Institute for System Programming of the Russian Academy of Sciences (ISPRAS)
SUBJECTS : | Hardware Model Verification | Software Engineering | Software Development