Mark Ryan

Research

Papers
Interests
Activities

Teaching

Java
Auto. verif.
Projects

Book

Home page
Amazon
Reviews

About

Timetable
CV
Photo

Context

School
University
Environs

What the University of Birmingham is like