Formal Reasoning about Modules, Reuse, and their Correctness (1995)

by Christoph Kreitz , Kung-kiu Lau , Mario Ornaghi
Venue:PROC. INT. CONF. ON FORMAL AND APPLIED PRACTICAL REASONING , LNAI 1085:384--399, SPRINGER-VERLAG
Citations:8 - 8 self