Test sequence generation and model check
✍
Sérgio Campos; Orna Grumberg; Karen Yorav; Copty Fady
📂
Article
📅
2004
🏛
Springer
🌐
English
⚖ 250 KB