Massink M., Norman G., Wiklicky H.
Theoretical Computer Science General Computer Science D.2.4 Software/Program Verification. Formal methods
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.
@misc{oai:it.cnr:prodotti:299518, title = {Quantitative Aspects of Programming Languages and Systems (2011-12). Preface}, author = {Massink M. and Norman G. and Wiklicky H.}, doi = {10.1016/j.tcs.2014.05.011}, year = {2014} }