Keishiki shuhō no sangyōkai ōyō wākushoppu, 2011 =
Subtitle: Workshop on Industrial Applications of Formal Methods
By: [henshū Sangyō Gijutsu Sōgō Kenkyūjo Kumikomi Shisutemu Gijutsu Renkei Kenkyūtai]
Contributors: Sangyō Gijutsu Sōgō Kenkyūjo. Kumikomi Shisutemu Gijutsu Renkei Kenkyūtai
Series: Sanpu kagaku kenkyū sokuhō
Publisher: Sangyō Gijutsu Sōgō Kenkyūjo Kumikomi Shisutemu Gijutsu Renkei Kenkyūtai
Published: 2011
Place of publication: Amagasaki-shi
Language: jpn
Number of pages: 86
Subjects: Formal methods (Computer science); Congresses
Other titles: Workshop on Industrial Applications of Formal Methods; Keishiki shuhō no sangyōkai ōyō wākushoppu, 2011 yokōshū
Notes: Proceeding of the Workshop held at Senri Raifu Saiensu Sentā, Apr. 26, 2011.

"WIAFM 2011"

"AIST01-J00022-108"--p. 4 of cover.