Synthesis from scenario-based specificat
โ
David Harel; Itai Segall
๐
Article
๐
2012
๐
Elsevier Science
๐
English
โ 598 KB