TY  - GEN
AU  - Perna,Juan Ignacio
TI  - Towards the verification of RAISE specifications through model checking
ER  -