Lab for Automated Reasoning and Analysis LARA

Practice quiz

This is the quiz we gave last year. Please note that the schedule and the order of the material we covered then was somewhat different.

Please ask questions if anything is unclear.

Quiz PDF

Solutions

 
sav13/practice_quiz.txt · Last modified: 2013/04/22 19:17 by vkuncak