Alan Dix: BCS FACS talk slides 8-10

From Programs to People:
Formal Methods meets the Freedom of the Human Spirit

Alan Dix

Invited talk at the BCS FACS Christmas Workshop

Slides 8-10

abstract || slides index || prev page || next page

Slide 8

Slide 9

Slide 10

abstract || slides index || prev page || next page
maintained by Alan Dix