5 citations · 5 across the 1 of their papers we have counts for
1 paper
Imran Mahmood
In this thesis a comprehensive verification framework is proposed to contend with some important issues in composability verification and a verification process is suggested to ver…