home » zplus/dokk.git
ID: a2da82b687898ebfc1f77dee73317bf6e1f209ba
34 lines — 1K — View raw 


 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
{
    "@context": {
        "library": "dokk:vocab:library:",
        "license": "dokk:vocab:license:",
        "license:licensed_under": {
            "@type": "@id"
        },
        "license:translation_of": {
            "@type": "@id"
        },
        "blob": "dokk:vocab:blob:"
    },
    "@type": [
        "library:Item"
    ],
    "@id": "dokk:ansi_iso_c_specification_language_v1.18_2023_frama-c",
    "library:author": [
        "Virgile Prevosto",
        "Yannick Moy",
        "Benjamin Monate",
        "Claude Marché",
        "Jean-Christophe Filliâtre",
        "Pascal Cuoq",
        "Patrick Baudin"
    ],
    "license:licensed_under": [
        "dokk:license:CC-BY-4.0"
    ],
    "library:title": "ANSI/ISO C Specification Language Version 1.18",
    "blob:at": {
        "@id": "file:/pdf/ansi_iso_c_specification_language_v1.18_2023_frama-c.pdf",
        "blob:primary_source": "https://frama-c.com/download/acsl-implementation-27.0-beta-Cobalt.pdf",
        "blob:retrieval_date": "2023-10-22"
    }
}