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

Update 2016-11-14-inferlab.md

parent 289bdf48
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
_posts/2016-11-14-inferlab.md
+ 1
− 1
View file @ 0ed992c5
---
title: Facebook runs lab on Infer, industrial verification tool
title: Infer Lab, Facebook's industrial verification tool
---
The [Separation Logic](https://psvg.doc.ic.ac.uk/teaching/separationlogic.html) course team ran a lab on Infer,
......
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