Nuno P. Lopes - POPL 2016

Write a Blog >>

Wed 20 - Sat 23 January 2016 St. Petersburg, Florida, United States

Registered user since Tue 17 Feb 2015

Name:Nuno P. Lopes

Affiliation:Microsoft Research

Personal website: http://web.ist.utl.pt/nuno.lopes/

Contributions

2016

POPL

Scaling Network Verification using Symmetry and Surgery

Show activities from other conferences

POPL 2016-profile
View general profile