An approach for the formal verification
✍
Akbarpour, B.; Tahar, S.
📂
Article
📅
2006
🏛
IEEE
🌐
English
⚖ 536 KB