Foundations 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
Download
Web ShopContributor(s)
Baier, Christel (editor)
Dal Lago, Ugo (editor)
Language
EnglishAbstract
artificial 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
Keywords
artificial 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; verificationDOI
10.1007/978-3-319-89366-2ISBN
9783319893662OCN
1031399785Publisher
Springer NaturePublisher website
https://www.springernature.com/gp/products/booksPublication date and place
Cham, 2018Series
Theoretical Computer Science and General Issues,Classification
Computer science