Please note that the Virtual Library formal methods pages have moved from
Oxford University to South Bank University under: www.afm.sbu.ac.uk
Please update your links accordingly. New possible links are always welcome,
but please bear in mind that this is a part-time unpaid occupation.
Donations for equipment, etc., are always welcome too!
--
Prof. Jonathan Bowen, Professor of Computing
School of Computing, Information Systems and Mathematics (SCISM)
South Bank University, Borough Road, London SE1 0AA, UK
Tel: +44 (0)20 7815 7462/7420 Fax: +44 (0)20 7815 7499
Mobile: +44 (0)7765 152 996
Email: [log in to unmask] URL: http://www.sbu.ac.uk/~bowenjp/
Centre for Applied Formal Methods: http://www.cafm.sbu.ac.uk/
Personal:
Email: [log in to unmask] URL: http://www.jpbowen.com/
|