Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Zoubeyr Farah

A Correct-By-Construction Model for Asynchronously Communicating Systems

International Journal on Software Tools for Technology Transfer

Information Systems

English