Sign in

An Arithmetic Semantics for GRL Goal Models with Function Generation.

Yuxuan FanAmal Ahmed AndaDaniel Amyot
Published in: SAM (2018)
Keyphrases