Login / Signup

Probabilistic Models for the Guarded Command Language.

Jifeng HeKaren SeidelAnnabelle McIver
Published in: Sci. Comput. Program. (1997)
Keyphrases