Model-Based Testing for Concurrent Systems With Labelled Event Structures

Software Testing Verification and Reliability - United States
doi 10.1002/stvr.1543
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Wiley


Related search