An Improved Rule for While Loops in Deductive Program Verification - Sciweavers

54

click to vote

more ICFEM 2005 ...

i12www.ira.uka.de

Tweet