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

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Beschreibung

Talk: Test-Case Calculation through Abstraction
Zeitraum18 Sept. 2001
EreignistitelFormal Aspects of Software Engineering: Colloquium to Mark the Retirement of Prof. Peter Lucas
VeranstaltungstypKonferenz