Showing 1 - 2 results of 2 for search 'Malton, S', query time: 0.02s
Refine Results
-
1
Towards automated bounded model checking of API implementations by Neville, D, Malton, A, Brain, M, Kroening, D
Published 2016Conference item -
2
Beam Profile Measurements and Simulations of the PETRA Laser-Wire by Carter, J, Agapov, I, Blair, G, Boorman, G, Driouichi, C, Poirier, F, Price, M, Kamps, T, Balewski, K, Lewin, H, Schreiber, S, Wittenburg, K, Delerue, N, Howell, D, Boogert, S, Malton, S
Published 2005Journal article