Herbert P. Sander

Publication Activity (10 Years)

Years Active: 1988-1989
Publications (10 Years): 0

Publications

Peter Dybjer, Herbert P. Sander
A Functional Programming Approach to the Specification and Verification of Concurrent Systems. Formal Aspects Comput. 1 (4) (1989)
Peter Dybjer, Herbert P. Sander
A Functional Programming Approach to the Specification and Verification of Concurrent Systems. Specification and Verification of Concurrent Systems (1988)