Formal Methods for Eternal Networked Software Systems: 11th International School

Neural Network Methods for Natural Language Processing by Yoav Goldberg PB

Formal Methods in Software and Systems Modeling : Essays Dedicate

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehr

Formal Methods for Industrial Critical Systems - 9783319107011

Formal Methods, Informally - 9781009421027

Formal Methods for Industrial Critical Systems - 9783031681493

Formal Methods and Software Engineering - 9783030024499