Formal Aspects of Software Engineering: Colloquium to Mark the Retirement of Prof. Peter Lucas

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

Talk: Test-Case Calculation through Abstraction
Period18 Sept 2001
Event titleFormal Aspects of Software Engineering: Colloquium to Mark the Retirement of Prof. Peter Lucas
Event typeConference