Home›Books›C. B. JonesC. B. JonesNo biography available.Works (1)FME '97, industrial applications and strengthened foundations of formal methods1997