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

Update InferLab.md

parent 276fdd5f
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 @ bd0f7e06
...@@ -11,7 +11,7 @@ developed by a team led by Peter O’Hearn. At Facebook, Infer is used every day ...@@ -11,7 +11,7 @@ developed by a team led by Peter O’Hearn. At Facebook, Infer is used every day
This was part of the Separation Logic MEng and MSc course (404H). This was part of the Separation Logic MEng and MSc course (404H).
[Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/), [Peter O’Hearn](http://www.pl-enthusiast.net/2015/09/15/facebooks-peter-ohearn-on-programming-languages/),
Engineering Manager at Facebook, and Jules Villard, Software Engineer, gave a tutorial on how to use Infer. Engineering Manager at Facebook, and [Jules Villard](https://www.doc.ic.ac.uk/~jvillar1/), Software Engineer, gave a tutorial on how to use Infer.
The tutorial targeted real world Android applications, such as: The tutorial targeted real world Android applications, such as:
- [PocketHub](https://github.com/pockethub/PocketHub) - [PocketHub](https://github.com/pockethub/PocketHub)
......
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