Parameterized specifications: parameter passing and implementation with respect to observability (0)

by H Ganzinger
Venue:TOPLAS