Conference Proceedings

Specifying a realistic file system

S Amani, T Murray, R van Glabbeek, J Friso Groote, P Höfner

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | EPTCS | Published : 2015