201
TITLE: Prototyping Processes
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 1999, SOURCE: 1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999
INDEXED IN: DBLP
202
TITLE: CAMILA: Prototyping and Refinement of Constructive Specifications
AUTHORS: José João Almeida ; Luís Soares Barbosa ; Luis L Neves; José Nuno Oliveira ;
PUBLISHED: 1997, SOURCE: AMAST, VOLUME: 1349
INDEXED IN: Scopus DBLP CrossRef: 1 Handle
Page 21 of 21. Total results: 202.