Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • People
  • Outputs
  • Organizations
  • Expertise & Skills

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • People
  • Outputs
  • Organizations
  • Expertise & Skills
  1. Outputs

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

Edited Book
Publication Date:
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.
Iris type:
01.10 Curatela di numero monografico in rivista
Keywords:
D.2.4 Software/Program Verification. Formal methods
List of contributors:
Massink, Mieke
Authors of the University:
MASSINK MIEKE
Handle:
https://iris.cnr.it/handle/20.500.14243/284460
Published in:
THEORETICAL COMPUTER SCIENCE
Journal
  • Overview

Overview

URL

http://www.sciencedirect.com/science/article/pii/S0304397514003818
  • Use of cookies

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