Maritta Heisel
-
Mechanising a formal model of flash memory
Science of Computer Programming
A declarative coordination language
Computer Languages