About: Community Z Tools

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Set of tools for the Z notation

Property	Value
dbo:description	set of tools for the Z notation (en)
dbo:wikiPageExternalLink	http://czt.sourceforge.net/ https://web.archive.org/web/20060227054346/http:/www.cs.waikato.ac.nz/~marku/papers/zb2005_czt.pdf https://web.archive.org/web/20061025194002/http:/linux.softpedia.com/get/Programming/Code-Generators/Community-Z-Tools-4494.shtml http://www.cs.ox.ac.uk/people/andrew.martin/CZT/
dbo:wikiPageWikiLink	dbr:Z_notation dbr:Formal_methods dbr:SourceForge dbr:Object-Z dbc:Free_software_programmed_in_Java_(programming_language) dbr:Java_(programming_language) dbc:Z_notation dbc:2001_software dbr:Software_engineering dbc:Research_projects dbc:2001_establishments_in_England dbc:Department_of_Computer_Science,_University_of_Oxford dbr:Oxford_University dbr:Andrew_Martin_(computer_scientist) dbr:Portable_Document_Format dbr:TCOZ
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Programming-software-stub dbt:One_source
dct:subject	dbc:Free_software_programmed_in_Java_(programming_language) dbc:Z_notation dbc:2001_software dbc:Research_projects dbc:2001_establishments_in_England dbc:Department_of_Computer_Science,_University_of_Oxford
gold:hypernym	dbr:Project
rdfs:label	Community Z Tools (en)
owl:sameAs	freebase:Community Z Tools yago-res:Community Z Tools wikidata:Community Z Tools dbpedia-global:Community Z Tools
prov:wasDerivedFrom	wikipedia-en:Community_Z_Tools?oldid=1220283288&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Community_Z_Tools
is dbo:wikiPageDisambiguates of	dbr:CZT
is dbo:wikiPageWikiLink of	dbr:Z_notation dbr:Fastest dbr:Object-Z dbr:CZT
is foaf:primaryTopic of	wikipedia-en:Community_Z_Tools