Lab for Automated Reasoning and Analysis LARA

LARA NEWS (Partial List)

See also the publications as well as http://richmodels.org


2012

2011

See some of these publications.

  • Viktor gives a keynote at SMT 2012

2010

 
news.txt · Last modified: 2013/01/26 00:28 by vkuncak