Synthesis from scenario-based specificat
✍
David Harel; Itai Segall
📂
Article
📅
2012
🏛
Elsevier Science
🌐
English
⚖ 598 KB