Login / Signup

A Unified Theory of Program Logics: An Approach based on the π-Calculus.

Kohei HondaNobuko Yoshida
Published in: Comput. J. (2011)
Keyphrases