Login / Signup
Two dogmas of program specification.
John McLean
Published in:
ACM SIGSOFT Softw. Eng. Notes (1985)
Keyphrases
</>
computer programs
control program
high level
programming environment
real time
data sets
real world
case study
probabilistic model
static analysis
control flow
high level programming language