I3v A Program Proof Management System People (First 1 people) - Page 0

Structured Derivations: Teaching . . .

Book by Ralph-Johan Back