[IEEE 2013 2nd Workshop-School on Theoretical Computer Science (WEIT) - Rio Grande, RS, Brazil (2013.10.15-2013.10.17)] 2013 2nd Workshop-School on Theoretical Computer Science - Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin
Junior, Luiz Carlos Lemos, Cavalheiro, Simone Andre da Costa, Foss, LucianaYear:
2013
Language:
english
DOI:
10.1109/weit.2013.24
File:
PDF, 476 KB
english, 2013