Publications

During the year of 2022, the Interactive Technologies Institute research team has excelled in the production of scientific outputs. The team has successfully published 94 papers in journals, 76 in international conferences and 26 book chapters

Show all

2011

no, N. Cata; Rueda, Camilo; Hanvey, S.

Verification of JML generic types with Yices Conference

Computing Congress (CCC), 2011 6th Colombian, (Manizales, Colombia, 2011.

BibTeX