Reflexive Event-B: Semantics and Correctness the EB4EB Framework
['Peter Rivière', 'Neeraj Kumar Singh', 'Yamine Aït-Ameur']
/
IEEE Transactions on Reliability
/ Vol. 73
/ No. 2
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？