Machine-assisted Verification of Software
|
Supervisor |
|
|
Suitable for |
Honour School of Mathematics and Computer Science, Part C
|
Linked in
Twitter
Facebook
Instagram