Browse Source

Affiliation in README.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3015 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 15 years ago
parent
commit
c87343aa94
  1. 7
      prism/README.txt

7
prism/README.txt

@ -77,7 +77,7 @@ ACKNOWLEDGEMENTS
----------------
Currently, development work on PRISM is primarily carried out in the
Computing Laboratory at the University of Oxford. Previously, PRISM
Department of Computer Science at the University of Oxford. Previously, PRISM
was based in the School of Computer Science at the University of Birmingham.
The core team working on PRISM currently comprises:
@ -117,8 +117,9 @@ If you have problems or questions regarding PRISM, please use the help forum pro
Other comments and feedback about any aspect of PRISM are also very welcome. Please contact:
Dave Parker
(david.parker@comlab.ox.ac.uk)
Oxford University Computing Laboratory
(david.parker@cs.ox.ac.uk)
Department of Computer Science
University of Oxford
Wolfson Building
Parks Road
Oxford

Loading…
Cancel
Save