Formal Verification Issues For Component-Based Development
-
Published:2020-12-15
Issue:4
Volume:44
Page:
-
ISSN:1854-3871
-
Container-title:Informatica
-
language:
-
Short-container-title:IJCAI
Publisher
Slovenian Association Informatika
Subject
Artificial Intelligence,Computer Science Applications,Theoretical Computer Science,Software