DMCA

An Experiment in Automatic Generation of Test Suites for Protocols With Verification Technology (1996)

Cached

Download Links

by Jean-Claude Fernandez , Claude Jard
Citations:77 - 9 self