A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462).

Klaus Havelund Martin Leucker Giles Reger Volker Stolz

Published in: Dagstuhl Reports (2017)

Keyphrases

high level
decision making
specification language
information systems
reactive systems