A practical method for verifying event-driven software (1999)

Download From

IEEE
Download from IEEE

Download Links

by Gerard J. Holzmann
Venue:In Proceedings of ICSE'99, International Conference on Software Engineering
Citations:33 - 0 self