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

Aichernig, B. (Redner/in)

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

Beschreibung

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