Najm - Formal Methods for Open Object-Based Distributed Systems 6th - X555z

Uden - Learning Technology for Education Challenges 6th Internationa - X555z

Watson - Implementation and Application of Automata 6th Internationa - X555z

Majzik - Software Engineering for Resilient Systems 6th Internationa - X555z

Badger - NASA Formal Methods 6th International Symposium NFM 2014 - X555z

Bernardo - Formal Methods for Software Architectures Third Internatio - X555z

Li - Computational Intelgence and Intelgent Systems 6th Internationa - X555z

Martn-Vide - ory and Practice of Natural Computing 6th Internationa - X555z