IMDEA Software

Métodos formales, lenguajes de programación, ciberseguridad y software fiable de alto rendimiento.

1 artículo publicado