Software Engineering using Formal Methods |
TDA293/DIT270, LP1, HT2015 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Schedule | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Places and Times The schedule shown below is subject to change. Copies of the slides will be provided shortly after each lecture. If you have any general questions regarding the course, please send them to our Google group (instructions for accessing the group are here). Welcome to the first lecture on Tuesday, September 1, at 13:15 in room EA.
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools | W. Ahrendt , Oct 22, 2015 |