About: http://webisa.webdatacommons.org/82095915

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	Formal Methods in Industry: The State of Practice of Formal Methods in South America and Far East of the world, mainly South America, and Far East.
http://www.w3.org/ns/prov#wasQuotedFrom	osti.gov