Members of Oxford University Computing Laboratory
Short biography mini
Jonathan Bowen - short biography
University home page
Prof. Jonathan P. Bowen
Personal home page
Prof. Jonathan Bowen
Publications users pubs
Publications
Biographical information users
Brief Biography of Joseph Goguen
Home page
Joseph Goguen
Mike Reed appointed director of software institute ,
UNU Update: Mike Reed appointed director of UNU-IIST
It's time to think about www.froola.com.
OUCL home page web lab people mike reed
Mike
Reed
UNU/IIST home page
Homepage of Dr. G. M. (Mike) Reed
''Program Verification and Semantics: The Early Work'' meeting, 2001
Program Verification and Semantics: The Early Work
Christopher Strachey (1916–1975) pioneers
Christopher Strachey (1916-1975)
UNU Update , the newsletter of the United Nations University
UNU Update: Issue 40
Institute of Software, Chinese Academy of Sciences (ISCAS) information english people
Research
Previous page
This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia articles :
Jonathan Bowen , Joseph Goguen , Mike Reed , Peter J. Landin , Programming Research Group , United Nations University , Zhou Chaochen , .
If you use exact copy or modified of this article you should preserve above paragraph and put also : It uses material from
the Froola link list about "Members of Oxford University Computing Laboratory".