Lab for Automated Reasoning and Analysis LARA

Rosa: The Real Compiler

Rosa is publicly available on GitHub.

 
rosa.txt · Last modified: 2013/11/07 15:42 by evka