Applying a testing approach to the Calculus of Fair Ambients.

Published in: Int. J. Comput. Math. (2009)

Keyphrases