Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

news [2013/01/26 00:28]
vkuncak
news [2017/03/15 10:01] (current)
vkuncak
Line 1: Line 1:
 ====== LARA NEWS (Partial List) ====== ====== LARA NEWS (Partial List) ======
  
-See also the [[:​publications]] ​as well as http://​richmodels.org+See also the [[:​publications]].
  
 <php> <php>
 
news.txt · Last modified: 2017/03/15 10:01 by vkuncak