Matches in DBpedia 2014 for { <http://dbpedia.org/resource/APCB> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- APCB abstract "The APCB (Association de Pilotage des Conférences B, or in English The International B Conference Steering Committee) organizes conferences about the B-Method, one of the leading formal methods, used in high-integrity software engineering.It has organized B meetings and conferences. From 2000, these became the ZB Conference (jointly with the Z notation, co-organized with the Z User Group), and from 2008 the ABZ conference (with Abstract State Machines as well). In 2010, the ABZ conference also included Alloy.".
- APCB wikiPageExternalLink www.abzconference.org.
- APCB wikiPageExternalLink apcb.
- APCB wikiPageID "20781023".
- APCB wikiPageRevisionID "536356171".
- APCB hasPhotoCollection APCB.
- APCB subject Category:Formal_methods_organizations.
- APCB subject Category:Organizations_based_in_France.
- APCB subject Category:User_groups.
- APCB type Abstraction100002137.
- APCB type FormalMethodsOrganizations.
- APCB type Group100031264.
- APCB type Organization108008335.
- APCB type OrganizationsBasedInFrance.
- APCB type SocialGroup107950920.
- APCB type YagoLegalActor.
- APCB type YagoLegalActorGeo.
- APCB type YagoPermanentlyLocatedEntity.
- APCB comment "The APCB (Association de Pilotage des Conférences B, or in English The International B Conference Steering Committee) organizes conferences about the B-Method, one of the leading formal methods, used in high-integrity software engineering.It has organized B meetings and conferences. From 2000, these became the ZB Conference (jointly with the Z notation, co-organized with the Z User Group), and from 2008 the ABZ conference (with Abstract State Machines as well).".
- APCB label "APCB".
- APCB sameAs m.053s_52.
- APCB sameAs Q4653247.
- APCB sameAs Q4653247.
- APCB sameAs APCB.
- APCB wasDerivedFrom APCB?oldid=536356171.
- APCB isPrimaryTopicOf APCB.