Salimeh Behnia

Publication Activity (10 Years)

Years Active: 1998-1999
Publications (10 Years): 0

Publications

Salimeh Behnia, Hélène Waeselynck
Test Criteria Definition for B Models. World Congress on Formal Methods (1999)
Hélène Waeselynck, Salimeh Behnia
B Model Animation for External Verification. ICFEM (1998)