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