Universität Paderborn » SFB 901 » Events


38th TAV Meeting - Test, Analysis and Verification of Software

Begin: Thu, 15. of Oct 2015 ( 9:00 AM)
Location: Paderborn - Zukunftsmeile Fürstenallee

TAV is a facility of the Software Engineering Section of the GI -- Gesellschaft für Informatik e.V. The work focuses on dynamic testing, static analysis and formal techniques of program verification and issues of test management.

For more information, please see here.