On the Application of an Automated Validation Tool to Realistic Protocols,” MSc thesis (1994)

by M Alipour