Standards and Tools for
Component-based Automated Reasoning

by
Geoff Sutcliffe
Department of Computer Science
University of Miami
USA
geoff@cs.miami.edu

Abstract