Francisco Miguel Alves Campos de Sousa Dionísio


AuthID: R-000-5DP

Publicações a aguardarem confirmação

11
TITLE: Specifying with defaults: Compositional semantics
AUTHORS: Miguel M Dionísio; Udo W Lipeck;
PUBLISHED: 1998, SOURCE: Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science
INDEXED IN: CrossRef
Página 2 de 2. Total de resultados: 11.

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

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service