Frederic Mallet

Libros

Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
2020
Information and Communication Technologies in Education, Research, and Industrial Applications Information and Communication Technologies in Education, Research, and Industrial Applications
Information and Communication Technologies in Education, Research, and Industrial Applications
2020