Treffer: 31st Nordic Workshop on Programming Theory NWPT 2019 : Tallinn, Estonia, 13-15 November 2019 : Abstracts
Title:
31st Nordic Workshop on Programming Theory NWPT 2019 : Tallinn, Estonia, 13-15 November 2019 : Abstracts
Authors:
Publisher Information:
Tallinn University of Technology, 2019.
Publication Year:
2019
Subject Terms:
programming logics, program verification, real-time and hybrid systems, program construction, models of concurrent, program transformation and refinement, distributed and mobile computing, formal specification of programs, programming theory, programming methodology, language-based security, semantics of programming languages, programming language design
Document Type:
Other literature type
Language:
English
DOI:
10.23658/taltech.nwpt/2019
Accession Number:
edsair.doi...........f97e48217c3c5ad008a753a8dc20913c
Database:
OpenAIRE