Salimeh Behnia

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1999

2 Salimeh Behnia, Hélène Waeselynck: Test Criteria Definition for B Models. World Congress on Formal Methods 1999: 509-529

1998

1 Hélène Waeselynck, Salimeh Behnia: B Model Animation for External Verification. ICFEM 1998: 36-45

	1999
2		Salimeh Behnia, Hélène Waeselynck: Test Criteria Definition for B Models. World Congress on Formal Methods 1999: 509-529
	1998
1		Hélène Waeselynck, Salimeh Behnia: B Model Animation for External Verification. ICFEM 1998: 36-45

Coauthor Index