Publicações

Teaching Formal Methods for the Unconquered Territory

AuthID
P-003-S9S

Author(s)

Catano, N

Rueda, C

Editor(es)

Gibbons, J; Oliveira, JN

Tipo de Documento

Proceedings Paper

Year published

2009

Publicado

in TEACHING FORMAL METHODS, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 5846, Páginas: 2-19 (18)

Conference

2Nd International Conference on Teaching Formal Methods, Date: NOV 02-06, 2009, Location: Eindhoven, NETHERLANDS, Patrocinadores: Formal Methods Europe Assoc, Software Improvement Grp

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-642-04912-5_2

SCOPUS: 2-s2.0-71549124368

Wos: WOS:000278101900001

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

Teaching Formal Methods for the Unconquered Territory

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Teaching Formal Methods for the Unconquered Territory

Links Úteis

Ajuda