Workshop on Industrial Applications of Formal Methods (2011 : Senri Raifu Saiensu Sentā)
VIAF ID: 231926042 ( Corporate )
Permalink: http://viaf.org/viaf/231926042
Preferred Forms
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Keishiki shuhō no sangyōkai ōyō wākushoppu, 2011, 2011: | |
Workshop on Industrial Applications of Formal Methods | |
形式手法の産業界応用ワークショップ, 2011 予稿集 |