Program Verification & Semantics: The Early Work

Timetable

Prof. Jonathan Bowen
South Bank University, London
www.jpbowen.com

Logic

Proof

First Paper?

Mathematics and Programming

Foundations

Theory and Practice

Assertions

Reflection

Virtual Museum of Computing

THE END