Record Beta

International Symposium of VDM Europe

https://id.confref.org/data/confref-portal/event/vdm1987

This record is part of the confref event International Symposium of VDM Europe.

rdf:type	portal:Conference
schema:location	Brussels (wd:Q239)
rdfs:label	International Symposium of VDM Europe
portal:acronym	VDM
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	Brussels
portal:country	Belgium
portal:endDate	1987-03-26
portal:keyword	Abstract Error
portal:keyword	Abstract Specification
portal:keyword	Abstract syntax
portal:keyword	Architectural design
portal:keyword	Assignment Statement
portal:keyword	Boolean Lattice
portal:keyword	Data type
portal:keyword	Denotational Semantic
portal:keyword	Domain Equation
portal:keyword	Dynamic Semantic
portal:keyword	Proof Obligation
portal:keyword	Source Language
portal:keyword	Static Semantic
portal:keyword	abstract machine
portal:keyword	binary operation
portal:keyword	class hierarchy
portal:keyword	concrete syntax
portal:keyword	formal method
portal:keyword	proof rule
portal:keyword	specification language
portal:name	International Symposium of VDM Europe
portal:portalPage	http://portal.confref.org/list/vdm1987
portal:series	https://id.confref.org/data/confref-portal/series/vdm
portal:startDate	1987-03-23
portal:submissionExtended	false
portal:year	1987
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.