This course is a continuation of IN1000 – Introduction to Object-oriented Programming and goes deeper into object-oriented programming; the working language is java, and it´ll be given an introduction ...

This course covers both foundations and practical aspects of the automated analysis of programs, which is becoming increasingly critical to find software errors and assure program correctness. The ...