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