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

Aichernig, B. (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

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