Khadidja Salah-Mansour

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 4

Top Topics

Service Oriented Architecture

Formal Specification

Consistency Checking

Top Venues

J. Comput. Sci.

Publications