From Algebra to Operational Semantics

Detalhes bibliográficos
Main Authors: He, J, Hoare, C
Formato: Journal article
Publicado em: 1993