DMCA

Model-driven software verification (2004)

Cached

Download Links

by Gerard J. Holzmann , Rajeev Joshi
Venue:In Proc. 2001 ACM SIGPLAN–SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE’01
Citations:69 - 13 self