Automatic Review of Abstract State Machines by Meta Property Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene. Automatic Review of Abstract State Machines by Meta Property Verification. In César Muñoz, editor, Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings. Volume NASA/CP-2010-216215 of NASA Conference Proceedings, pages 4-13, 2010.

This author has not been identified. Look up 'Paolo Arcaini' in GoogleThis author has not been identified. Look up 'Angelo Gargantini' in GoogleThis author has not been identified. Look up 'Elvinia Riccobene' in Google

runs on WebDSL