ISSE

Search

An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing

W. Reif

An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing

published 1993 D. Bjørner, M. Broy, and I. Pottosin, editors, Conference on Formal Methods in Programming and Their Applications

Publisher: Springer LNCS 735