Alain Schenkel

Publication Activity (10 Years)

Years Active: 1996-1996
Publications (10 Years): 0

Publications

Hans Koch, Alain Schenkel, Peter Wittwer
Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study. SIAM Rev. 38 (4) (1996)