Formal Methods Update Meeting 2010

Dhirubhai Ambani Institute of Information and Communication Technology, Gandhinagar,

July 15–17, 2010.

Logo