Date: November 4-7, 2013
Location: Pasadena, CA
Website: http://issre.net/
Yong Hun Eom, Brian Demsky, “Sinfer: Inferring Information Flow lattices for Checking Self-stabilization,” IEEE 24th International Symposium on Software Reliabiity Engineering, ISSRE 2013, Pasadena, CA, November 4-7, 2013