C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Slicing Z specifications.
Fangjun Wu
Tong Yi
Published in:
ACM SIGPLAN Notices (2004)
Keyphrases
</>
formal specification
delay insensitive
real time
neural network
social networks
high level
artificial neural networks
specification language
asynchronous circuits
concurrent systems