LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
fmcad2014 [2013/11/21 21:00]
vkuncak
fmcad2014 [2013/11/21 21:00] (current)
vkuncak
Line 2: Line 2:
  
 Formal Methods in Computer-Aided Design 2014, 21-24 October 2014 Formal Methods in Computer-Aided Design 2014, 21-24 October 2014
 +  * collocated and sharing tutorials with MEMOCODE 2014, 19-21 October 2014
  
 Conference Google Calendar: Conference Google Calendar: