Towards Structured Specifying: Theory, Practice, Applications

Ali Mili , Noureddine Boudriga , Fatma Mili