Tolba, Cherif, Computer science department, Badji Mokhtar University, Annaba, B.P. 12, 23000, Algeria, Algeria

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