A Framework for Testing Safety and Effective Computability

Publisher Website

29 February 1996

journal article
Published by Elsevier in Journal of Computer and System Sciences

Vol. 52 (1), 100-124
https://doi.org/10.1006/jcss.1996.0009

Abstract

No abstract available

Keywords

Cited by 17 articles