Alan Dix: BCS FACS talk slides 3-7

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

Alan Dix

Invited talk at the BCS FACS Christmas Workshop

Slides 3-7

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

Slide 3

Slide 4

Slide 5

Slide 6

Slide 7

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