Formal Methods Teaching Third International Workshop And Tutorial,

Formal Methods - Fun For Everybody First International Workshop, Fmfun

Chatbot Research And Design Third International Workshop,

Web Services And Formal Methods 5th International Workshop, Ws-fm

Predictive Intelligence In Medicine Third International Workshop,

Formal Methods And Software Engineering 21st International Conference

Reachability Problems Third International Workshop, Rp 2009,

Teaching Formal Methods Second International Conference, Tfm 2009,

Web Services, Formal Methods, And Behavioral Types 11th International

Gerontechnology Iii Contributions To The Third International Workshop

Computational Forensics Third International Workshop, Iwcf 2009, The

Ambient Assisted Living Third International Workshop, Iwaal 2011, Held

Ram Accelerators Proceedings Of The Third International Workshop On

Coalgebraic Methods In Computer Science 11th International Workshop,

Formal Methods - The Next 30 Years Third World Congress, Fm 2019,

Formal Methods Teaching João F. Ferreira (u. A.) Taschenbuch Paperback