18th Automated Reasoning Workshop 2011 (ARW2011)

Title18th Automated Reasoning Workshop 2011 (ARW2011)
Event date11th - 12th April 2011
LocationUniversity of Glasgow