Detailed Information
URL: http://www.jpbowen.com/Title: Professor Jonathan Bowen
Description: ZUG webmaster; Computing Professor, South Bank University, heads Centre for Applied Formal Methods. Interests: FM, safety-critical systems, Z, provably correct systems, and rapid prototyping via logic programming. 1994 Babbage Premium award winner.
Directory: Computers/Programming/Languages/Z
|