Artigo
Acesso aberto
A DSL for PIM specifications: Design and attribute grammar based implementation
2011; ComSIS Consortium; Volume: 8; Issue: 2 Linguagem: Inglês
10.2298/csis101229018l
ISSN2406-1018
AutoresIvan Luković, Maria João Varanda Pereira, Nuno Oliveira, Cruz da, Pedro Rangel Henriques,
Tópico(s)Formal Methods in Verification
ResumoIIS
Referência(s)