Alan Dix: BCS FACS talk slides 14-19

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

Alan Dix

Invited talk at the BCS FACS Christmas Workshop

Slides 14-19

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

Slide 14

Slide 15

Slide 16

Slide 17

Slide 18

Slide 19

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