Code is Ethics - Formal Techniques for a Better World.

Rolf Drechsler Christoph Lüth

Published in: DSD (2019)

Keyphrases

high tech
source code
code generation
formal specification
real time
high level
formal model
physical world
social issues
information retrieval
decision making
static analysis
formal analysis