Luiz Carlos Lemos Junior

According to our database, Luiz Carlos Lemos Junior authored at least 3 papers between 2011 and 2013.

Collaborative distances:

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

2013

Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin.

Luiz Carlos Lemos Junior, Simone André da Costa Cavalheiro, Luciana Foss

Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013

Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations.

Luiz Carlos Lemos Junior, Simone André da Costa Cavalheiro, Luciana Foss

Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013

2011

Graph Grammars: A Comparison between Verification Methods.

Andre Moura de Mello, Luiz Carlos Lemos Junior, Luciana Foss, Simone André da Costa Cavalheiro

Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011