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_person
Property
Value
rdf:
type
owl:
Class
rdfs:
label
Formal methods person
rdfs:
subClassOf
Person
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/Category:Formal_methods_people
is
rdf:
type
of
Bernhard Steffen (computer scientist)
Fred B. Schneider
Michael Fourman
Jeannette Wing
Rajeev Alur
Gordon Plotkin
Lawrence Paulson
Martin Henson
Anders P. Ravn
Manfred Broy
Michael Genesereth
Rudolf Berghammer
Donald Angus MacKenzie
Faron Moller
Evert Willem Beth
John McCarthy (computer scientist)
Rod Burstall
Greg Nelson (computer scientist)
Egon Börger
Gérard Huet
John V. Tucker
Carl Hewitt
Ken Robinson (computer scientist)
Don Sannella
Jim Horning
Leslie Lamport
Niklaus Wirth
Grigore Roșu
Steve Reeves (computer scientist)
David L. Dill
Helmut Veith
Gunther Schmidt
Michael J. C. Gordon
Robert Kowalski
John Fitzgerald (computer scientist)
Chris Tofts
Robert France
Jane Hillston
Tim Denvir
Robert W. Floyd
Charles Leonard Hamblin
Andrew D. Gordon
Richard Bornat
Joost-Pieter Katoen
Michael A. Jackson (computer scientist)
Peter Landin
Matthew Hennessy
Hussein Zedan
John Guttag
David Gries
J Strother Moore
David Watt (computer scientist)
J. Anthony Hall
Kaisa Sere
Supratik Chakraborty
Mathai Joseph
Michael Hinchey
Robin Milner
David May (computer scientist)
John Rushby
Juan Pavón
Peter O'Hearn
Tom Maibaum
David Harel
David Parnas
Matt Kaufmann
Peter Lucas (computer scientist)
Nikil Dutt
Amir Pnueli
Robert S. Boyer
Radhia Cousot
Gerard J. Holzmann
Javier Esparza
Jan Bergstra
Moshe Vardi
Sergiy Vilkomir
E. Allen Emerson
Bertrand Meyer
Eric Hehner
Ian Bayley
Zhiming Liu (computer scientist)
Edsger W. Dijkstra
Ralph-Johan Back
Harlan Mills
Luigi Logrippo
Dines Bjørner
Yuri Gurevich
Mark Harman (computer scientist)
Robert Shostak
Nancy Leveson
Dana Scott
Daniel Jackson (computer scientist)
Adriaan van Wijngaarden
Insup Lee
John C. Reynolds
Carl Adam Petri
Michael W. Shields
Ole-Johan Dahl
Edmund M. Clarke
John Alan Robinson
... and more
is
rdfs:
subClassOf
of
Member of the Department of Computer Science, University of Oxford