Objective To investigate the contraceptive mechanism of combination regimen of low-dose gossypol acetic acid (GA) with steroid hormones [desogestre/ethinylestra
This paper presents the specification language NUJSL and its supporting system.NUJSL is a modularspecification language based on Jackson Program Design Method(