Damián Barsotti

text hidden; JavaScript is required / home page


D. Barsotti and Wolovick, N., Automatic Probabilistic Program Verification through Random Variable Abstraction, in Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, 2010, vol. EPTCS 28, pp. 34-47.PDF icon paper-24.pdf (404.61 KB)
J. O. Blanco, Smith, S., and Barsotti, D., Calculo de programas. Córdoba: Universidad Nacional de Cordoba, 2008.
D. Barsotti and Blanco, J. O., Automatic Refinement of Split Binary Semaphore, in Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, 2007, vol. 4711, pp. 64-78.
Powered by Drupal