Formal Methods Europe 2001, FME 2001: Formal Methods for Increasing Software Productivity

Aichernig, B. (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: Test-Case Calculation through Abstraction
Period16 Mar 2001
Held atFormal Methods Europe 2001, FME 2001: Formal Methods for Increasing Software Productivity
Event typeConference