Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N-Triples
N3/Turtle
JSON
XML
CSV
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
About:
dbkwik:
resource/QzzjnlMn_M-T6G1oPNqkgw==
Property
Value
rdfs:
label
Formal methods
dbkwik:
formalmethods/property/wikiPageUsesTemplate
dbkwik:
resource/mJZGqBIpglcBxkVeQaBgTw==
is
dcterms:
subject
of
Abstract State Machines
Formal methods
Publications
Photographs
TLA
VDM
Formal specification
Organizations
Event-B
Meetings
Companies
Operational Semantics
Projects
Raise
PVS
CCS
Repositories
Who's Who
CSP
Education