000 02328naaaa2200481uu 4500
001 https://directory.doabooks.org/handle/20.500.12854/31640
020 _a978-3-319-89366-2
020 _a9783319893662
024 7 _a10.1007/978-3-319-89366-2
_cdoi
041 0 _aEnglish
042 _adc
072 7 _aUY
_2bicssc
100 1 _aBaier, Christel
_4edt
700 1 _aDal Lago, Ugo
_4edt
700 1 _aBaier, Christel
_4oth
700 1 _aDal Lago, Ugo
_4oth
245 1 0 _aFoundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
260 _aCham
_bSpringer Nature
_c2018
506 0 _aOpen Access
_2star
_fUnrestricted online access
520 _aartificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language; semantics; separation logic; software engineering; theorem proving; type systems; verification
540 _aCreative Commons
_fhttps://creativecommons.org/licenses/by/4.0/
_2cc
_4https://creativecommons.org/licenses/by/4.0/
546 _aEnglish
650 7 _aComputer science
_2bicssc
653 _aartificial intelligence
653 _acomputer software
653 _aselection and evaluation
653 _aformal logic
653 _agraph theory
653 _amodal logic
653 _apetri nets
653 _aprogram compilers
653 _aprogramming language
653 _asemantics
653 _aseparation logic
653 _asoftware engineering
653 _atheorem proving
653 _atype systems
653 _averification
856 4 0 _awww.oapen.org
_uhttps://library.oapen.org/bitstream/20.500.12657/27807/1/1002198.pdf
_70
_zDOAB: download the publication
856 4 0 _awww.oapen.org
_uhttps://library.oapen.org/bitstream/20.500.12657/27807/1/1002198.pdf
_70
_zDOAB: download the publication
856 4 0 _awww.oapen.org
_uhttps://library.oapen.org/bitstream/20.500.12657/27807/1/1002198.pdf
_70
_zDOAB: download the publication
856 4 0 _awww.oapen.org
_uhttps://directory.doabooks.org/handle/20.500.12854/31640
_70
_zDOAB: description of the publication
999 _c42617
_d42617