DMCA

Development Graphs -- Proof Management for Structured Specifications (2005)

by Till Mossakowski , Serge Autexier , Dieter Hutter
Citations:29 - 19 self