From formal requirements to automated we
โ
Ernesto Cid Brasil de Matos; Thiago C. Sousa
๐
Article
๐
2010
๐
Springer
๐
English
โ 351 KB