rigorous and experimentally-validated behavioural specification Volume 1: Overview (2005)

by Steve Bishop , Matthew Fairbairn , Michael Norrish , Peter Sewell , Michael Smith , Keith Wansbrough , Peter Sewell , Michael Smith , Keith Wansbrough , Steve Bishop , Matthew Fairbairn , Michael Norrish , Peter Sewell , Michael Smith , Keith Wansbrough
Citations:2 - 1 self