F. J. S. Macário

According to our database, F. J. S. Macário authored at least 1 paper in 2015.

Collaborative distances:

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

2015

Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware.

F. J. S. Macário, Marcel Vinícius Medeiros Oliveira

Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015