Finite state verification (abstract only)
An emerging technology for validating software systems release_kw33svbk5rcg7bnnp7hlhnk4ve

by Lori A. Clarke

Published in Software engineering notes by Association for Computing Machinery (ACM).

2000   Volume 25, p146-146

Archived Files and Locations

application/pdf  16.3 kB
file_6da6arw5vffo7iecxdhiza55si
www.eecs.wsu.edu:80 (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2000-09-01
Language   en ?
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  0163-5948
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 97104f09-86cd-48bc-92f3-eff1da7df425
API URL: JSON