Electronic Notes in Theoretical Computer Science, Volume 14

Volume 14, 1998

US - Brazil Joint Workshops on the Formal Foundations of Software Systems
Rio de Janeiro, May 5 - 9, 1997 and New Orleans, November 13 - 16, 1997