Formal Methods Update Meeting 2012

Chennai Mathematical Institute

July 19–21, 2012.

Logo