Toward a wider use of formal methods for
β
Yamine Ait Ameur; FrΓ©dΓ©ric Boniol; Virginie Wiels
π
Article
π
2009
π
Springer
π
English
β 135 KB