doc-src/ProgProve/prog-prove.bib
Mon, 02 Apr 2012 10:49:03 +0200 nipkow New manual Programming and Proving in Isabelle/HOL
less more (0) tip