Aryldo G. Russo
According to our database1,
Aryldo G. Russo
authored at least 3 papers
between 2010 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2011
ACM SIGSOFT Softw. Eng. Notes, 2011
2010
Proceedings of the Verified Software: Theories, 2010
Proceedings of the Abstract State Machines, 2010