The Library of Congress > Linked Data Service > LC Name Authority File (LCNAF)

Workshop on Industrial Applications of Formal Methods (2011 : Senri Raifu Saiensu Sentā)