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

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	Our experiments involve programming languages such as C and assembler and logical languages such as hardware description languages and model checking languages.
http://www.w3.org/ns/prov#wasQuotedFrom	researchmap.jp