Rodolfo Gamarra
According to our database1,
Rodolfo Gamarra
authored at least 2 papers
between 2005 and 2006.
Collaborative distances:
Collaborative distances:
Timeline
2005
2006
0
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2006
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006
2005
A strategy for efficient verification of relational specifications, based on monotonicity analysis.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005