Caique Lima

According to our database, Caique Lima authored at least 1 paper in 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

Abstract specification and formalization of an operating system kernel in Z.

Luciano Barreto, Aline Andrade, Adolfo Duran, Caique Lima, Ademilson Lima

ACM SIGOPS Oper. Syst. Rev., 2011