Designing executable abstractions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gerard J. Holzmann. Designing executable abstractions. In Mark A. Ardis, Joanne M. Atlee, editors, Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA. pages 103-108, ACM, 1998. [doi]

This author has not been identified. Look up 'Gerard J. Holzmann' in Google

runs on WebDSL