Lab for Automated Reasoning and Analysis LARA

LARA NEWS (Partial List)

See also the publications.


2012

2011

See some of these publications.

  • Viktor gives a keynote at SMT 2012

2010

 
news.txt · Last modified: 2017/03/15 10:01 by vkuncak