Interactive specification environment fo
β
Niitsu, Y.; Mizuno, O.
π
Article
π
1990
π
IEEE
π
English
β 590 KB