SB
Steve Bishop
12
Publications
737
Citations
7
h-index
5
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (11)
- Book Chapter (1)
Filter by Open Access Type
- Open Access (2)
- Closed Access (10)
Filter by Authors
- Steve Bishop (12)
- Matthew Fairbairn (6)
- Michael Norrish (6)
- Keith Wansbrough (6)
- Peter Sewell (6)
Filter by Topics
- Software Testing and Debugging Techniques (6)
- Formal Methods in Verification (4)
- Security and Verification in Computing (3)
- Seismic Performance and Analysis (2)
- Vibration Control and Rheological Fluids (2)