Home
About PPIG
Next workshop
Workshops
Papers
Author resources
▼
Paper Templates
Paper Keywords
News
Mailing lists
Contact us
ppig-1992
Teaching Formal Software Engineering at Loughborough
R G Stone, D J Cooke
PDF