Alan Dix: BCS FACS talk slides 1-2
From Programs to People:
Formal Methods meets the Freedom of the Human Spirit
Alan Dix
Invited talk at the BCS FACS Christmas Workshop
Slides 1-2
abstract
||
slides index
||
prev page
||
next page
abstract
||
slides index
||
prev page
||
next page
maintained by
Alan Dix