Journal article

File systems deserve verification too!

G Keller, T Murray, S Amani, L O'Connor, Z Chen, L Ryzhyk, G Klein, G Heiser

ACM SIGOPS Operating Systems Review | Association for Computing Machinery | Published : 2014