Compilation of Z Specifications into C for Automatic Test Result Evaluation (1995)

Cached

Download Links

by Erich Mikk
Citations:18 - 1 self