WRiPE 2012
The 2nd International Workshop
on Rigorous Protocol Engineering

30 October 2012
Austin, Texas, USA
Co-located with ICNP 2012