Listar Ponencias, Discursos y Conferencias por título
Mostrando ítems 2967-2986 de 3904
-
A Programming Language to Facilitate the Transition from Rapid Prototyping to Efficient Software Production
(5th International Conference on Software and Data Technologies (ICSOFT), 2010) -
A programming tool to ease modular programming with C++
(6th Iberian Conference on Information Systems and Technologies (CISTI), 2011) -
A PROOF Analysis Framework
(2012) -
PROOF analysis framework (PAF)
(2015)