U. W. Lipeck


AuthID: R-006-FKD

Publicações a aguardar confirmação

1
TÍTULO: Specifying with defaults: Compositional semantics  Full Text
AUTORES: Dionisio, FM; Lipeck, UW;
PUBLICAÇÃO: 1998, FONTE: 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 97) in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 1376
INDEXADO EM: WOS
2
TÍTULO: Specifying with defaults: Compositional semantics
AUTORES: Miguel M Dionísio; Udo W Lipeck;
PUBLICAÇÃO: 1998, FONTE: Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science
INDEXADO EM: CrossRef

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service