Buscar
Añadir filtros:
Usa los filtros para afinar la busqueda.
Resultados 1-2 de 2.
- Anterior
- 1
- Siguiente
Resultados por ítem:
Fecha de publicación | Título | Autor(es) |
---|---|---|
2018 | Formal semantics for java-like languages and research opportunities. | Feitosa, Samuel da Silva; Ribeiro, Rodrigo Geraldo; Bois, André Rauber Du |
2018 | Inference of static semantics for incomplete C programs. | Melo, Leandro T. C.; Ribeiro, Rodrigo Geraldo; Araújo, Marcos Roberto de; Pereira, Fernando Magno Quintao |