School of Electronics and Computer Science:
People with interest: formal methods
Results
| Name | Role | Group | Email ID | Phone |
|---|---|---|---|---|
| Prof Michael J Butler | Academic staff | Electronic and Software Systems | mjb | +44 (0)23 8059 2435 |
| Bernd Fischer | Academic staff | Electronic and Software Systems | bf | +44 (0)23 8059 9047 |
| Dr Colin F Snook | Research staff | Electronic and Software Systems | cfs | +44 (0)23 8059 3123 |
| Jennifer H Sorge | Postgraduate, suspended | Electronic and Software Systems | jhs06r | +44 (0)23 8059 3123 |
RDF information
Interest URI: http://id.ecs.soton.ac.uk/interest/formal methods
Interest RDF: http://rdf.ecs.soton.ac.uk/interest/formal methods