Skip to content
Snippets Groups Projects
Commit 1fdcefd7 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update InferLab.md

parent 796c12a7
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
teaching/InferLab.md
+ 1
− 1
View file @ 1fdcefd7
...@@ -6,7 +6,7 @@ parent_menu: Teaching ...@@ -6,7 +6,7 @@ parent_menu: Teaching
menu_order: 5 menu_order: 5
--- ---
The [Separation Logic](https://psvg.doc.ic.ac.uk/teaching/separationlogic.html) course is a a 4th-year MEng and MSc course The [Separation Logic](https://psvg.doc.ic.ac.uk/teaching/separationlogic.html) course is a 4th-year MEng and MSc course
on local reasoning about programs that manipulate the heap at the [Department of Computing](http://www.imperial.ac.uk/computing), on local reasoning about programs that manipulate the heap at the [Department of Computing](http://www.imperial.ac.uk/computing),
[Imperial College London](http://www.imperial.ac.uk). The course is led by [Philippa Gardner](/people/gardner.html), with support [Imperial College London](http://www.imperial.ac.uk). The course is led by [Philippa Gardner](/people/gardner.html), with support
from [Jose Fragoso](https://www.doc.ic.ac.uk/~jfaustin/), [Daiva Naudžiūnienė](https://www.doc.ic.ac.uk/~dn911/), from [Jose Fragoso](https://www.doc.ic.ac.uk/~jfaustin/), [Daiva Naudžiūnienė](https://www.doc.ic.ac.uk/~dn911/),
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment