Mühlberg, Jan TobiasJan TobiasMühlbergLüttgen, GeraldGeraldLüttgen0000-0002-0925-48702019-09-192013-01-1420120934-5043https://fis.uni-bamberg.de/handle/uniba/829engVerifying compiled file system codearticle10.1007/s00165-011-0198-z