Transformation of occam programs

Detalhes bibliográficos
Principais autores: Goldsmith, M, Roscoe, A
Formato: Conference item
Publicado em: IET 1988