Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
| Type | Conference |
|---|---|
| Title | Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings |
| Event date | 22 to end of 27 Aug 2016 |
| Location | Nancy, France |