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