Quick specifications for the busy programmer.

Nicholas Smallbone Moa Johansson Koen Claessen Maximilian Algehed

Published in: J. Funct. Program. (2017)

Keyphrases

programming language
high level
formal specification
specification language
concurrent systems
search engine
delay insensitive
data sets
website
video sequences
functional requirements
parallel programming
data entry
transition systems