CAMILA: Prototyping and refinement of constructive specifications

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/bfb0000496 ◽

1997 ◽

pp. 554-559 ◽

Cited By ~ 1

Author(s):

J. J. Almeida ◽

L. S. Barbosa ◽

F. L. Neves ◽

J. N. Oliveira

Download Full-text