Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • Persone
  • Pubblicazioni
  • Strutture
  • Competenze
  1. Pubblicazioni

Quantitative Aspects of Programming Languages and Systems (2011-12). Preface

Curatela
Data di Pubblicazione:
2014
Abstract:
This special issue constitutes a selection of extended contributions of original works on Pattern Recognition and Computer Vision presented at 25th SIBGRAPI - Conference on Graphics, Patterns and Images, held in 2012 in the historical city of Ouro Preto, Minas Gerais, Brazil (conference website at: www.decom.ufop.br/ sibgrapi2012). Fifteen papers were invited for this special issue and ten submissions passed through a rigorous peer-reviewing process and have been accepted for publication.
Tipologia CRIS:
01.10 Curatela di numero monografico in rivista
Keywords:
D.2.4 Software/Program Verification. Formal methods
Elenco autori:
Massink, Mieke
Autori di Ateneo:
MASSINK MIEKE
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/284460
Pubblicato in:
THEORETICAL COMPUTER SCIENCE
Journal
  • Dati Generali

Dati Generali

URL

http://www.sciencedirect.com/science/article/pii/S0304397514003818
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.5.0.0 | Sorgente dati: PREPROD (Ribaltamento disabilitato)