Mühlberg, Jan TobiasJan TobiasMühlbergLüttgen, GeraldGeraldLüttgen0000-0002-0925-48702019-09-192014-09-242009978-3-642-10452-7https://fis.uni-bamberg.de/handle/uniba/20148engVerifying compiled file system codeconferenceobject