Advanced Topics in Program Verification (Seminar)
This seminar covers advanced topics of scientific working in the discipline of computer science. The emphasis in this seminar is on the presentations, both in the role of a speaker and a participant. Participating students will elaborate presentations on advanced topics in requirements engineering.
Advanced Topics in Program Verification (Seminar)
This seminar covers advanced topics of scientific working in the discipline of computer science. The emphasis in this seminar is on the presentations, both in the role of a speaker and a participant. Participating students will elaborate presentations on advanced topics in program verification.