Programming Languages
|
Programming Languages
|
|
| Languages > Z |
| Categories |
|
Books |
|
| Professor Jonathan Bowen
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. |
| Z User Group: ZUG
Promotes use and development of Z formal specification language. History, activities, constitution, committee members, officers, large archive, tools, standardization, descriptions, meeting and conference notices, many links. |
The content of the websy directory is based on the Open Directory and is enhanced using Websy's own technology.
Copyright © 2002-2006, websy.net All Rights Reserved.