Statistics
Publications
1
Citations
11
H-Index
1
Active since
1983
Alessandro Glacalone is an author specializing in program analysis, system software, and formal verification.
Publications per year
1983–1983
1
1
A formal description of the UNIX operating system
Thomas W. Doeppner, Alessandro Glacalone · 1983 · 11 citations
1–1 of 1