Autor: Ivan Perez

This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021.The 21 full and 3 short papers presented in this volume were car …

This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in …

Discover the enchanting world of Pepito the Cricket in this heartwarming and inspirational children’s book that teaches the importance of perseverance and self-discovery. Dive into the vibrant forest …