NODOVOX | Discovery

An evolutionary approach to translating operational specifications into declarative specifications

Artículo

Material complementario disponible Artículo RI ITBA

An evolutionary approach to translating operational specifications into declarative specifications

Molina, Facundo et al · RI ITBA · 2020 · ISSN 0167-6423

"Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many...

Idioma en

Material complementario disponibleEl enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.

Material complementario

Abrir material Ficha bibliográfica

IQ-TREE 2: New Models and Efficient Methods for Phylogenetic Inference in the Genomic Era

Artículo

Material complementario disponible Artículo OpenAlex

IQ-TREE 2: New Models and Efficient Methods for Phylogenetic Inference in the Genomic Era

Bùi Quang Minh; Heiko A. Schmidt; Olga Chernomor; Dominik Schrempf; Michael D. Woodhams; Arndt von Haeseler; Robert Lanfear · Molecular Biology and Evolution · 2020

IQ-TREE (http://www.iqtree.org, last accessed February 6, 2020) is a user-friendly and widely used software package for phylogenetic inference using maximum likelihood. Since the release of version 1 in 2014, we have con...

Idioma en

Material complementario disponibleEl enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.

Material complementario

Abrir material Ficha bibliográfica

Buscar recursos académicos

Resultados