Lab for Automated Reasoning and Analysis LARA

LARA Publications

Individual Publication Lists

LARA Reports and Partial Cumulative List

Master's Theses (Partial List)

For publications prior to the forming of LARA in 2007, please see the individual home pages of group members.

 
publications.txt · Last modified: 2014/07/02 12:49 by kuraj