2
Publications
47
Citations
2
H-Index
2008
Active since
Publications per year
2008–2008
2
2
Using formal methods to support testing
RM Hierons, Kirill Bogdanov, J.P. Bowen et al. · Brunel University Research Archive (BURA) (Brunel University London) · 2008 · 37 citations · Full text
Rows per page
1–2 of 2