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


sav13/practice_quiz.txt · Last modified: 2013/04/22 19:17 by vkuncak
© EPFL 2018 - Legal notice