Alan Dix: BCS FACS talk slides 27-32

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

Alan Dix

Invited talk at the BCS FACS Christmas Workshop

Slides 27-32

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

Slide 27

Slide 28

Slide 29

Slide 30

Slide 31

Slide 32

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