Formal Verification of Contractual Software Architectures using SPIN
-
Published:2015-12-01
Issue:4
Volume:28
Page:318-337
-
ISSN:0127-9084
-
Container-title:Malaysian Journal of Computer Science
-
language:
-
Short-container-title:MJCS
Publisher
Univ. of Malaya
Subject
General Computer Science