About: Z User Group

The Z User Group exists to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems. It was formally constituted on 14 December 1992 during the ZUM'92 Z User Meeting in London, England.

Property	Value
dbpprop:abstract	The Z User Group exists to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems. It was formally constituted on 14 December 1992 during the ZUM'92 Z User Meeting in London, England.
dbpprop:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Z_User_Group
dbpprop:reference	http://www.abzconference.org/ http://www.zuser.org/zum/ http://www.zuser.org/constitution.html http://www.zuser.org/ http://vl.zuser.org/
rdf:type	http://dbpedia.org/class/yago/OrganisationsBasedInTheUnitedKingdom http://dbpedia.org/class/yago/OrganizationsEstablishedIn1992 http://dbpedia.org/class/yago/ComputerScienceOrganizations
rdfs:comment	The Z User Group exists to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems. It was formally constituted on 14 December 1992 during the ZUM'92 Z User Meeting in London, England.
rdfs:label	Z User Group
owl:sameAs	freebase:Z User Group
skos:subject	dbpedia:Category:Computer_science_organizations dbpedia:Category:Organisations_based_in_the_United_Kingdom dbpedia:Category:Z_notation dbpedia:Category:User_groups dbpedia:Category:Organizations_established_in_1992
foaf:page	http://en.wikipedia.org/wiki/Z_User_Group
is dbpprop:redirect of	dbpedia:Z_User_Meeting
is owl:sameAs of	yago:Z User Group