School of Computing Science
Talks, Seminars and Announcements
| Tuesday, 14 February 16:00 | [FATA talk] Real-time verification with bigraphs with sharing |
| Michele Sevegnani |

| Tuesday, 14 February 16:00 | [FATA talk] Real-time verification with bigraphs with sharing |
| Michele Sevegnani |