Hähnle, Reiner.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
The logic of softwarea tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday /
by:
Ahrendt, Wolfgang.; Hähnle, Reiner.; SpringerLink (Online service)
(Electronic resources)