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