Login / Signup

Symbolic semantic rules for producing compact STGLAs from value passing process descriptions.

Marco Bernardo
Published in: ACM Trans. Comput. Log. (2004)
Keyphrases