Showing
1 - 2
results of
2
for search '
Fabunmi, S.
'
Skip to content
VuFind
Your Account
Log Out
Login
Language
English
Deutsch
Українська
All Fields
Title
Journal Title
Author
Subject
Description
Tag
Full text
Find
Advanced
Author
Fabunmi, S.
Showing
1 - 2
results of
2
for search '
Fabunmi, S.
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Select Page | with selected:
Email
Export
Print
Save
Select result number 1
1
Equivalence of two parallel execution systems
by
T. V. Panchenko
,
S. Fabunmi
Published 2018
Get full text
Article
Save to List
Saved in:
Select result number 2
2
Equivalence of two parallel execution systems
by
Panchenko, T.V.
,
Fabunmi, S.
Published 2018
Get full text
Article
Save to List
Saved in:
Select Page | with selected:
Email
Export
Print
Save
Search Tools:
RSS Feed
–
Email Search
Related Subjects
681.3
IPCL
UDC 004.415
composition-nominative languages
concurrent program
formal verification
interleaving
safety property proof
software correctness
УДК 004.415
доказательство частичной корректности
композиционно-номинативные языки
композиційно-номінативні мови
коректність програмного забезпечення
корректность программного обеспечения
параллельная программа
формальна верифікація
формальная верификация