Title: Keishiki shuhō no sangyōkai ōyō wākushoppu, 2011 =
Subjects: Formal methods (Computer science), Congresses