DMCA

Automating inductive Specification Proofs (1999)

by Brigitte Pientka , Christoph Kreitz
Citations:5 - 3 self