Special issue: Proceedings of the validated computing 2002 conference, Toronto, Canada, May 23--25, 2002. Selected papers
type: Item
instance of: scholarly article
title: Special issue: Proceedings of the validated computing 2002 conference, Toronto, Canada, May 23--25, 2002. Selected papers
zbMATH Open document ID: 1028.00528
DOI: 10.1023/A:1023022731988
published in: Reliable Computing
publication date: 2003-12-18T00:00:00Z
review text: The articles of this volume will be reviewed individually.
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 65-06
zbMATH DE Number: 1969307
zbMATH Keywords: Validated computing
zbMATH Keywords: Toronto (Canada)
MaRDI profile type: Publication
full work available at URL: a:1023022731988
OpenAlex ID: W4243137568
description: scientific article; zbMATH DE number 1969307