| rdf:type | portal:Conference |
|---|
| schema:location | Toulouse (wd:Q7880) |
|---|
| rdfs:label | International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z |
|---|
| portal:acronym | ABZ |
|---|
| portal:area | https://id.confref.org/data/confref-portal/area/2 |
|---|
| portal:city | Toulouse |
|---|
| portal:country | France |
|---|
| portal:endDate | 2014-06-06 |
|---|
| portal:keyword | ASM ground model |
|---|
| portal:keyword | ASM refinement |
|---|
| portal:keyword | ASMs |
|---|
| portal:keyword | Abstract state machines |
|---|
| portal:keyword | Alloy |
|---|
| portal:keyword | B Method |
|---|
| portal:keyword | B Proof Obligations |
|---|
| portal:keyword | B-method |
|---|
| portal:keyword | Event B |
|---|
| portal:keyword | Event-B |
|---|
| portal:keyword | Kodkod |
|---|
| portal:keyword | TLA ?+? |
|---|
| portal:keyword | abstract data types |
|---|
| portal:keyword | animation |
|---|
| portal:keyword | formal verification |
|---|
| portal:keyword | refinement |
|---|
| portal:keyword | service-as-event |
|---|
| portal:name | International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z |
|---|
| portal:portalPage | http://portal.confref.org/list/abz2014 |
|---|
| portal:series | https://id.confref.org/data/confref-portal/series/abz |
|---|
| portal:startDate | 2014-06-02 |
|---|
| portal:submissionExtended | false |
|---|
| portal:year | 2014 |
|---|
| cr:discipline | computer science (wd:Q21198) |
|---|
| cr:field | Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2) |
|---|
Data: Turtle · JSON-LD · N-Triples · RDF/XML
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.
