Description
Metadata
Settings
owl:sameAs
Inference Rule:
b3s
b3sifp
facets
http://www.w3.org/2002/07/owl#
ldp
oplweb
skos-trans
virtrdf-label
None
About:
dbkwik:resource/mJZGqBIpglcBxkVeQaBgTw==
Sponge
Permalink
An Entity of Type :
owl:Thing
, within Data Space :
134.155.108.49:8890
associated with source
dataset(s)
Attributes
Values
dbkwik:formalmetho...iPageUsesTemplate
dbkwik:resource/mJZGqBIpglcBxkVeQaBgTw==
Occam
Transputer
Logic programming
Z User Group
FACIT
SAFEMOS
CSP
Formal Methods Europe
FM2011
Organizations
OBJ
B-Method
Abstract State Machines
Publications
Photographs
HOL
Formal methods
REDO
Projects
Jonathan Bowen
Meetings
ProCoS
Software engineering
Education
BCS-FACS
Safety-critical systems
Concurrent systems
dbkwik:resource/mJZGqBIpglcBxkVeQaBgTw==
Companies
Alternative Linked Data Views:
ODE
Raw Data in:
CXML
|
CSV
| RDF (
N-Triples
N3/Turtle
JSON
XML
) | OData (
Atom
JSON
) | Microdata (
JSON
HTML
) |
JSON-LD
About
OpenLink Virtuoso
version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software