Z notation - CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Computer-related introduction in 1977 Formal specification language
rdfs:label	Z notation
owl:sameAs	dbr:Z_notation
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Formal_specification_languages http://en.wikipedia.org/wiki/Category:Computer-related_introductions_in_1977 http://en.wikipedia.org/wiki/List_of_programming_languages http://en.wikipedia.org/wiki/Notation
skos:prefLabel	Z notation
skos:altLabel	Z Z Notation Z formal notation Z formal specification notation Z notation#Usage and notation Z specifications Z_notation#Tools
is clgo:influencedBy of	Eiffel (programming language)
is clgo:knownFor of	Jonathan Bowen Kevin Lano Jim Woodcock
is clgo:namedAfter of	Z User Group

About: clgr:Z_notation