IATE

IATE-1303790

HTML
RDF/XML
N-Triples
Turtle
JSON-LD

Instance of: http://www.w3.org/2004/02/skos/core#Concept

Subject Field	Subject Field/3236
Is Reference of	Automatic program proving-en#Sense
	APP-en#Sense

About
License
Download
Source