Login / Signup
Caique Lima
Publication Activity (10 Years)
Years Active: 2011-2011
Publications (10 Years): 0
</>
Publications
</>
Luciano Barreto
,
Aline Andrade
,
Adolfo Duran
,
Caique Lima
,
Ademilson Lima
Abstract specification and formalization of an operating system kernel in Z.
ACM SIGOPS Oper. Syst. Rev.
45 (1) (2011)