Automatic Program Verification

Proof of termination within a weak logic of programs ; by David C. Luckham and Norihisa Suzuki

by David C. Luckham, Norihisa Suzuki · 1975