Publicações

Towards a More Natural Approach to Property Specification in the Ivy Workbench

AuthID
P-01A-1NA

Author(s)

Gomes, J

Arcipreste, M

Gomes, M

Campos, JC

Editor(es)

Ardito,C;Junqueira Barbosa,SD;Conte,T;Freire,AP;Gasparini,I;Palanque,PA;Prates,RO

Tipo de Documento

Proceedings Paper

Year published

2025

Publicado

in Human-Computer Interaction - INTERACT 2025 - 20th IFIP TC 13 International Conference, Belo Horizonte, Brazil, September 8-12, 2025, Proceedings, Part III in Lecture Notes in Computer Science, ISSN: 16113349; 03029743

Volume: 16110, Páginas: 509-531

Conference

20Th Ifip Tc 13 International Conference on Human-Computer Interaction, Interact 2025, Location: Belo Horizonte

Indexing

Scopus^®

Dblp^®/pt/publications/view/1377962

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-032-05005-2_26

DBLP: conf/interact/GomesAGC25

SCOPUS: 2-s2.0-105017127982

Source Identifiers

ISSN: 16113349; 03029743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Towards a More Natural Approach to Property Specification in the Ivy Workbench

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Towards a More Natural Approach to Property Specification in the Ivy Workbench

Links Úteis

Ajuda