Samuel Lincoln Magalhães Barrocas

According to our database, Samuel Lincoln Magalhães Barrocas authored at least 1 paper in 2018.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2018

A strategy to verify the code generation from concurrent and state-rich circus specifications to executable code

Samuel Lincoln Magalhães Barrocas

PhD thesis, 2018