CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgo:
Formal_methods_publication
Property
Value
rdf:
type
owl:
Class
rdfs:
label
Formal methods publication
rdfs:
subClassOf
Software engineering publication
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/Category:Formal_methods_publications
is
rdf:
type
of
Formal Aspects of Computing
Prentice Hall International Series in Computer Science
Logical Methods in Computer Science
Journal of Automated Reasoning
Unifying Theories of Programming
Journal of Logic and Computation
Acta Informatica
Innovations in Systems and Software Engineering