Journal of Logic and Algebraic Programming, Volume 70

Refine list

showing all ?? records

Volume 70, Number 1, January 2007

Web Services and Formal Methods

Volume 70, Number 2, February 2007

Algebraic Process Calculi: The First Twenty Five Years and Beyond
a service of  Schloss Dagstuhl - Leibniz Center for Informatics