F. Guigand

Publication Activity (10 Years)

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

Publications

Joy N. Reed, Jane E. Sinclair, F. Guigand
Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development. IFM (1999)