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

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

Description

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