Christakis, MariaHölldobler, Steffen2017-09-222017-09-222015978-3-88579-975-7https://dl.gi.de/handle/20.500.12116/4605deBrückenschlag zwischen Verifikation und systematischem Testen1617-5468