Especificación y verificación de programas moleculares en pvs

Tesis doctoral de Graciani Díaz M. Carmen La computación molecular y, en concreto, la computación con adn, es una disciplina […]

, , , , ,