Formal Methods at AT&T - An Industrial Usage Report

Publisher Website

1 January 1992

book chapter
Published by Elsevier

p. 83-90
https://doi.org/10.1016/b978-0-444-89402-1.50015-1

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

Testing finite state machines
Published by Association for Computing Machinery (ACM) ,1991