Boumaza, Kamal, Badji Mokhtar Annaba University, Computer science department, LISCO Laboratory., Algeria

• Vol 45, No 3 (2021) - Regular papers
  Formal Verification of Emergent Properties
  Abstract  PDF