Information

Information

about International Conference on "The Utilization of Formal Description Techniques" in Kyoto, Japan (August 23-26, 1978).