Jump to navigation
Home
Dependable Systems Group

Publications

Filters: Author is Annabelle McIver  [Clear All Filters]
2009
S. Andova, McIver, A., D'Argenio, P. R., Cuijpers, P. J. L., Markovski, J., Morgan, C., and Núñez, M., Eds., “Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications”, QFM, vol. 13. 2009.
  • DOI
  • Google Scholar

Main menu

  • Home
  • Members
  • Projects
  • Publications
  • Alumni
  • News
  • Tools

Facultad de
Matemática, Astronomía, Física y Computación

Sección de Ciencias de la Computación

  • Home
  • Members
  • Projects
  • Publications
  • Alumni
  • News
  • Tools

Dependable Systems Group - FAMAF, Universidad Nacional de Córdoba
Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina
Tel: +54 351 535 3701, ext. 41306 - Fax: +54 351 433 4054