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/mvcYsyoH811M24vJ-ZRHrw==
Property
Value
dbkwik:
formalmethods/property/wikiPageUsesTemplate
dbkwik:
resource/t5ukPH7_7XGCbk9vAIaaHw==
dbkwik:
resource/mvcYsyoH811M24vJ-ZRHrw==
is
dbkwik:
formalmethods/property/wikiPageUsesTemplate
of
Formal Methods Europe
Formal methods
Jawed Siddiqi
B-Method
Wikipedia
Z notation
CZT
Jonathan Bowen
Formal Aspects of Computing
Safety-Critical Systems Club
dbkwik:
resource/mvcYsyoH811M24vJ-ZRHrw==
APCB
BCS-FACS